--- 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