Rational Arithmetic door Sarah Porter