Next: Character type, Previous: Unsigned integer types, Up: Primitive types [Contents]
There is one floating-point type: float.
It is represented using either the 32-bit single-precision IEEE 754 format or the 64-bit double-precision IEEE 754 format.
The choice between the two formats is implementation dependent.
In the Melbourne Mercury implementation,
floats are represented
using the 32-bit single-precision IEEE 754 format
in grades that have .spf grade component,
and using the 64-bit double-precision IEEE 754 format in every other grade.