--- ais/ai-00268.txt 2002/06/11 05:15:49 1.10 +++ ais/ai-00268.txt 2005/06/16 23:47:20 1.11 @@ -1,4 +1,4 @@ -!standard 4.09 (38) 01-09-07 AI95-00268/03 +!standard 4.09 (38) 05-05-16 AI95-00268/04 !class binding interpretation 01-05-14 !status Amendment 200Y 02-05-09 !status WG9 Approved 01-10-05 @@ -16,6 +16,10 @@ It is recommended that the rounding be the same as the default rounding on the target system. +The rounding rules for all formal types is the same (we want formal derived +types that happen to be scalar and formal scalar types to be on an equal +footing). + !question 4.9(38) requires biased rounding of static floating point expressions. This @@ -45,21 +49,21 @@ of the expected type; if the value is exactly half-way between two machine numbers, any rounding shall be performed away from zero. If the expected type is a descendant of a formal scalar type, no special rounding or truncating is -required - normal accuracy rules apply (see Annex G). +required @emdash normal accuracy rules apply (see Annex G). @dby For a real static expression that is not part of a larger static -expression, and whose expected type is not a descendant of a formal scalar +expression, and whose expected type is not a descendant of a formal type, the implementation shall round or truncate the value (according to the Machine_Rounds attribute of the expected type) to the nearest machine number of the expected type; if the value is exactly half-way between two machine numbers, the rounding performed is implementation-defined. If the expected type -is a descendant of a formal scalar type, no special rounding or truncating is -required - normal accuracy rules apply (see Annex G). +is a descendant of a formal type, no special rounding or truncating is +required @emdash normal accuracy rules apply (see Annex G). @i<@s8<Implementation Advice>> For a real static expression that is not part of a larger static -expression, and whose expected type is not a descendant of a formal scalar +expression, and whose expected type is not a descendant of a formal type, the rounding should be the same as the default rounding for the target system.

Questions? Ask the ACAA Technical Agent