Translating floating point operations.
* ... but leaving the semantics unspecified in prelude.