Model numbers for delta 1.0 range -7.0 .. 8.0 86-07-23 AI-00143/04 1
| !standard 03.05.09 (06) 86-07-23 AI-00143/04
| !class ramification 84-01-10
| !status approved by WG9/AJPO 86-07-22
| !status approved by Director, AJPO 86-07-22
| !status approved by WG9/Ada Board 86-07-22
| !status approved by Ada Board 86-07-22
!status WG14/ADA Board approved 84-11-27
!status WG14-approved 84-11-27
!status board-approved 84-11-26
!status committee-approved 84-02-06
!status received 84-01-10
!references 83-00234
!topic Model numbers for delta 1.0 range -7.0 .. 8.0
!summary 84-03-16
Given
type F is delta 1.0 range -7.0 .. 8.0;
The model numbers for F do not include the value 8.0 and F'MANTISSA must be
3.
!question 84-01-10
Consider the model numbers for F:
type F is delta 1.0 range -7.0 .. 8.0;
The wording requires that F'MANTISSA be the SMALLEST integer number for which
each bound of the specified range is either a model number or lies at most
small distant from a model number. This means F'MANTISSA is required to be 3
since the range -7.0 .. 7.0 fits in 3 signed bits, and 8 is "at most" 1.0
from a model number, namely, 7. Is this analysis correct? Note that this
implies the upper bound of the range is not represented as a model number.
!response 84-03-17
The analysis is correct. The upper and lower bounds for a fixed point type
can lie outside the range of model numbers.