Hello Piotr,
> what if the contract is worth not "one" but 1.32 USD (etc.)?
I don't recall Simon Peyton-Jones discussing that in his paper.
Nonetheless, I will speculate.
Recall that the following is a financial contract that pays one USD at the time of acquisition
<one>USD</one>
A contract that pays 100 USD at the time of acquisition is created by scaling the "one contract"
<scale><konst>100</konst><one>USD</one></scale>
Presumably a contract that pays 1.32 USD may be created by scaling the "one contract" by 1.32
<scale><konst>1.32</konst><one>USD</one></scale>
Recall that "konst" is any double value.
/Roger
