PowerAda 68
From OC Systems Wiki!
< PowerAda:APPENDIX C. Implementation Characteristics | Annex M
Revision as of 10:14, 24 April 2019 by imported>WikiVisor
(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.