x: applies to real numbers and produces extended precision
rational numbers. It applies to integers and produces extended integers.
The implied comparison in x: is tolerant.
The inverse x:^:_1 converts rationals, including extended integers,
into finite precision numbers (floating point or integer).
|
|
1 x: y is the same as x: y ;
and 2 x: y produces the two extended integers of the numerator
and denominator of the argument.
The inverse of k x: y is (-k)x: y ;
that is, _1 x: y is the same as x:^:_1 y and _2 x: y
is the same as %/"1 y .
|