PowerAda 62
From OC Systems Wiki!
< PowerAda:APPENDIX C. Implementation Characteristics | Annex M
Revision as of 10:08, 24 April 2019 by imported>WikiVisor
(62) The sign of a zero result from some of the operators or functions in Numerics.Generic_Elementary_Functions, when Float_Type'Signed_Zeros is True.
See A.5.1(46).
The sign of a zero result is that recommended by the implementation advice