PowerAda 122
From OC Systems Wiki!
(122) The result interval in certain cases of fixed-to-float conversion.
See G.2.1(10).
Conversion from a fixed point type with a small that is not a power of 2.0 to a floating point type is accomplished via long_float (IEEE 64 bit) floating point multiplication of the small of the fixed point type and the integer number of multiples corresponding to the fixed point value.