PowerAda 124
From OC Systems Wiki!
(124) The result interval for division (or exponentiation by a negative exponent), when the floating point hardware implements division as multiplication by a reciprocal.
See G.2.1(16).
The floating point hardware does not implement division in this way.