CVS difference for ai12s/ai12-0208-1.txt

Differences between 1.26 and version 1.27
Log of other versions for file ai12s/ai12-0208-1.txt

--- ai12s/ai12-0208-1.txt	2019/04/06 05:08:49	1.26
+++ ai12s/ai12-0208-1.txt	2020/12/04 07:59:29	1.27
@@ -1,4 +1,4 @@
-!standard A.5.5(0)                                   19-03-15  AI12-0208-1/11
+!standard A.5.5(0)                                   20-11-06  AI12-0208-1/12
 !standard A.5.6(0)
 !standard A.5.7(0)
 !class Amendment 16-12-19
@@ -28,8 +28,8 @@
 A.5.5 Big Numbers
 
 Support is provided for integer arithmetic involving values larger than
-than those supported by the target machine, and for arbitrary-precision
-reals.
+those supported by the target machine, and for arbitrary-precision
+real numbers.
 
 The library package Numerics.Big_Numbers has the following declaration:
 
@@ -158,7 +158,7 @@
 defined in Text_IO.Integer_IO (in particular, with respect to the
 interpretation of the Width and Base parameters) except that
 Constraint_Error, not Data_Error, is propagated in error cases
-and the result of a call To_String with a Width parameter of 0 and
+and the result of a call to To_String with a Width parameter of 0 and
 a nonnegative Arg parameter does not include a leading blank.
 Put_Image calls To_String (passing in the default values for the Width and Base
 parameters), prepends a leading blank if the argument is
@@ -337,8 +337,8 @@
 @dinsc
 
 Support is provided for integer arithmetic involving values larger than
-than those supported by the target machine, and for arbitrary-precision
-reals.
+those supported by the target machine, and for arbitrary-precision
+real numbers.
 
 @s8<@i<Static Semantics>>
 
@@ -472,7 +472,7 @@
 defined in Text_IO.Integer_IO (in particular, with respect to the
 interpretation of the Width and Base parameters) except that
 Constraint_Error, not Data_Error, is propagated in error cases
-and the result of a call To_String with a Width parameter of 0 and
+and the result of a call to To_String with a Width parameter of 0 and
 a nonnegative Arg parameter does not include a leading blank.
 Put_Image calls To_String (passing in the default values for the Width and Base
 parameters), prepends a leading blank if the argument is
@@ -7098,3 +7098,32 @@
 
 ****************************************************************
 
+Bob Duff's RM review (October 2020) includes
+
+> A.5.5 Big Numbers
+>
+> 1/5 {AI12-0208-1} Support is provided for integer arithmetic involving 
+> values larger than than those supported by the target machine, and for 
+> arbitrary-precision reals.
+
+It's a lie! The real numbers square root of 2 and pi are not 
+supported here. It's only rational numbers. (OK, I made that 
+argument before, and lost, so Never Mind.  Still, "reals" --> 
+"real numbers"? I'd prefer "rational numbers".)
+
+[Editor's reply:
+You might recall that some people thought the provided operations were 
+wrong for "rational numbers". So we already had that argument, too.
+
+I do agree that "reals" alone is weird. "real numbers" is better. I'll 
+process that as an Editorial Review change on AI12-0208-1 (so it won't
+clutter ARG meeting time) - which does mean that anyone that objects 
+needs to do it here.
+
+BTW, the spell check on this reply threw up on the above paragraph, 
+complaining about a duplicated word. No "than than" here.
+End Editor's Reply]
+
+A.5.6(21/5) "a call To_String" --> "a call to To_String"
+
+****************************************************************

Questions? Ask the ACAA Technical Agent