Rational Arithmetic