Deakstadieđáhus: Simple Equational Specifications of Rational Arithmetic