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