Jon Lang dataweaver-at-gmail.com |Perl 6| wrote:
John M. Dlugosz wrote:
The sqrt(2) should be a Num of 1.414213562373 with the precision of the
native floating-point that runs at full speed on the platform.
That makes the Num type an Int with non-uniform spacing. E.g. there
are Nums where $x++ == $x. And the -Inf and +Inf were better called
Min and Max respectively. IOW, the whole type based aproach to Inf
is reduced to mere notational convenience.
Please give an example value for a Num where $x++ == $x. Other than
Inf, of course.
Num is floating point. If you exceed the mantissa precision, then ++
will not change it.
I don't know why he's calling it an "Int with non-uniform spacing"
unless he is complaining about what happens when you store ints in
floats: it rounds off to the mantissa size.