PowerAda 126
From OC Systems Wiki!
< PowerAda:APPENDIX C. Implementation Characteristics | Annex M
Revision as of 00:36, 25 April 2019 by imported>WikiVisor (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.
See G.2.3(22).
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.