Rational Arithmetic/Ada