The Dyalog'11 Conference Edition has an implementation
of rational numbers.  A rational number is a pair 12345r678
(numerator, denominator) of integers with an arbitrary
number of digits.  Rational functions applied to
rational arguments produce rational results;
other cases work as before.  As well, a new function is
provided to work with prime numbers.