CVS difference for ais/ai-00203.txt

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

--- ais/ai-00203.txt	1999/08/31 22:53:56	1.6
+++ ais/ai-00203.txt	1999/10/08 23:41:06	1.7
@@ -1,4 +1,4 @@
-!standard 03.05.08 (02)                               99-08-31  AI95-00203/03
+!standard 03.05.08 (02)                               99-10-06  AI95-00203/04
 !class binding interpretation 98-03-27
 !status Corrigendum 2000 99-07-27
 !status WG9 approved 99-06-12
@@ -97,17 +97,17 @@
 
 @drepl
 @xhang<@xterms<S'Digits>S'Digits denotes the requested decimal precision for the
-subtype S. The value of this attribute is of the type universal_integer. The
+subtype S. The value of this attribute is of the type @i<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) /
+is defined to be the largest value of @i<d> for which ceiling(@i<d> * log(10) /
 log(T'Machine_Radix)) + 1 <= T'Model_Mantissa.>
 @dby
 @xhang<@xterms<S'Digits>S'Digits denotes the requested decimal precision for the
-subtype S. The value of this attribute is of the type universal_integer.
+subtype S. The value of this attribute is of the type @i<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.>
+type T is defined to be the largest value of @i<d> for which>
+@xindent<  ceiling(@i<d> * log(10)/log(T'Machine_Radix)) + @i<g> <= T'Model_Mantissa@hr
+where @i<g> is 0 if Machine_Radix is a positive power of 10 and 1 otherwise.>
 
 !ACATS test
 

Questions? Ask the ACAA Technical Agent