CVS difference for ais/ai-00203.txt

Differences between 1.4 and version 1.5
Log of other versions for file ais/ai-00203.txt

--- ais/ai-00203.txt	1999/06/22 01:44:37	1.4
+++ ais/ai-00203.txt	1999/07/28 00:08:45	1.5
@@ -1,5 +1,6 @@
-!standard 03.05.08 (02)                               99-06-12  AI95-00203/02
+!standard 03.05.08 (02)                               99-07-27  AI95-00203/03
 !class binding interpretation 98-03-27
+!status Corrigendum 2000 99-07-27
 !status WG9 approved 99-06-12
 !status ARG approved 98-10-08 (6-0-1)
 !status work item 98-09-08
@@ -38,11 +39,11 @@
 
 !recommendation
 
-(See Summary.)
+(See summary.)
 
 !wording
 
-(See Summary.)
+(See summary.)
 
 !discussion
 
@@ -90,6 +91,27 @@
 Note the peculiar phenomenon that more digits may be required for a
 hexadecimal machine than a decimal machine. Thus one decimal digit
 requires 2 hexadecimal digits.
+
+!corrigendum 3.05.08(2)
+
+@drepl
+@xhang<S'Digits@tabS'Digits denotes the requested decimal precision for the
+subtype S. The value of this attribute is of the type universal_integer. The
+requested decimal precision of the base subtype of a floating point type T
+is defined to be the largest value of d for which ceiling(d * log(10) /
+log(T'Machine_Radix)) + 1 <= T'Model_Mantissa.>
+@dby
+@xhang<S'Digits@tabS'Digits denotes the requested decimal precision for the
+subtype S. The value of this attribute is of the type universal_integer.
+The requested decimal precision of the base subtype of a floating point
+type T is defined to be the largest value of d for which>
+@xindent<  ceiling(d * log(10)/log(T'Machine_Radix)) + g <= T'Model_Mantissa@hr
+where g is 0 if Machine_Radix is a positive power of 10 and 1 otherwise.>
+
+!ACATS test
+
+This change applies only a machine for which supports Machine_Radix = 10 for
+(some) float types, which is rare. Therefore, an ACATS test is not required.
 
 !appendix
 

Questions? Ask the ACAA Technical Agent