PowerAda 61
From OC Systems Wiki!
(61) The accuracy actually achieved by the elementary functions.
See A.5.1(1).
The accuracy requirements of A.5.1(1) are met. All accuracy requirements of Annex G are met or exceeded. The accuracy of all elementary functions is based upon the accuracy of the C math libraries.