Rational arithmetic