From OC Systems Wiki!
< PowerAda:APPENDIX C. Implementation Characteristics | Annex M
Revision as of 00:36, 25 April 2019 by (Text replacement - """ to """)
(126) Conditions on a universal_real operand of a fixed point multiplication or division for which the result shall be in the perfect result set.
If there exists a perfect factorization of the universal_real operand into a "compatible" small and an integer within the bounds of type integer (32 bit twos-complement signed) the result is in the perfect result set.