!standard 03.05.08 (02) 98-03-27 AI95-00203/00
!class binding interpretation 98-03-27
!status received 98-03-27
!priority Medium
!difficulty Hard
!subject T'Model_Mantissa{ if T'Machine_Radix is not 10, and T'Model_Mantissa otherwise}.
!summary 98-03-27
!question 98-03-27
!recommendation 98-03-27
!wording 98-03-27
!discussion 98-03-27
!appendix 98-03-27
!section 3.5.8(2)
!subject T'Model_Mantissa{ if T'Machine_Radix is not 10, and T'Model_Mantissa otherwise}.
!reference RM95-3.5.8(2)
!from Samuel Figueroa 98-03-06
!keywords floating point digits attribute
!reference 1998-15821.a Samuel A. Figueroa 1998-3-6>>
!discussion
The mathematical expression that appears in the given paragraph simplifies
to "d+1 <= T'Model_Mantissa" when T'Machine_Radix is 10. This doesn't seem
to be what was intended. Rather, it would appear that the given expression
ought to simplify to "d = T'Model_Mantissa" when T'Machine_Radix is 10.
****************************************************************