PowerAda 62
From OC Systems Wiki!
(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