PowerAda 68
From OC Systems Wiki!
(68) The values of the Model_Mantissa, Model_Emin, Model_Epsilon, Model, Safe_First, and Safe_Last attributes, if the Numerics Annex is not supported.
See A.5.3(72).
The Numerics Annex is supported.