TDDing RationalArithmetic