Rational is a class that provides a arbitrary precision rational arithmetic. A Rational consists an Integer as numerator and a Natural as denominator. The numerator and denominator of a Rational are always coprime.
