PowerAda 125
From OC Systems Wiki!
(125) The definition of close result set, which determines the accuracy of certain fixed point multiplications and divisions.
See G.2.3(5).
A result in the close result set is determined by converting to long_float,(64-bit IEEE floating point format) doing the operation in floating point and converting to the result type.