Title: Rational arithmetic