Rational arithmetic for Python.