Tekstiviesti: Simple Equational Specifications of Rational Arithmetic