Author: lwall
Date: 2009-10-22 18:21:29 +0200 (Thu, 22 Oct 2009)
New Revision: 28882

Modified:
   docs/Perl6/Spec/S02-bits.pod
Log:
[S02] tweak Rat to max out at rat64 by default


Modified: docs/Perl6/Spec/S02-bits.pod
===================================================================
--- docs/Perl6/Spec/S02-bits.pod        2009-10-22 15:55:21 UTC (rev 28881)
+++ docs/Perl6/Spec/S02-bits.pod        2009-10-22 16:21:29 UTC (rev 28882)
@@ -672,6 +672,15 @@
 Numeric values in untyped variables use C<Int> and C<Num> semantics
 rather than C<int> and C<num>.
 
+However, for pragmatic reasons, C<Rat> values are guaranteed to be
+exact only up to a certain point.  By default, this is the precision
+that would be represented by a C<rat64> type, that is, with a numerator
+and denominator consisting of C<int64> values.  C<Rat>s that would require
+more than 64 bits of storage in either numerator or denominator are
+automatically converted to C<Num>s.  (If rationals are defined by a
+role, it may be possible to instantiate a C<Rat> type with a different
+maximum precision.)
+
 =item *
 
 Perl 6 should by default make standard IEEE floating point concepts

Reply via email to