diff --git a/doc/go_spec.html b/doc/go_spec.html index 27c37c2ce1..7d4862f50d 100644 --- a/doc/go_spec.html +++ b/doc/go_spec.html @@ -589,11 +589,33 @@ functions return and test for those values at run time.
-Implementation restriction: A compiler may implement numeric constants by choosing -an internal representation with at least twice as many bits as any machine type; -for floating-point values, both the mantissa and exponent must be twice as large. +Implementation restriction: Although numeric constants have arbitrary +precision in the language, a compiler may implement them using an +internal representation with limited precision. That said, every +implementation must:
++These requirements apply both to literal constants and to the result +of evaluating constant +expressions. +
+Implementation restriction: A compiler may use rounding while +computing untyped floating-point or complex constant expressions; see +the implementation restriction in the section +on constants. This rounding may cause a +floating-point constant expression to be invalid in an integer +context, even if it would be integral when calculated using infinite +precision. +
+