PowerAda 127
From OC Systems Wiki!
(127) The result of a fixed point arithmetic operation in overflow situations, when the Machine_Overflows attribute of the result type is False.
See G.2.3(27).
MACHINE_OVERFLOWS is TRUE.