PowerAda 120
From OC Systems Wiki!
(120) The sign of a zero result (or a component thereof) from any operator or function in Numerics.Generic_Complex_Elementary_Functions, when Complex_Types.Real'Signed_Zeros is True.
See G.1.2(45).
The sign of a zero result is that recommended by the implementation advice.