Rational arithmetic operation [abstract data type]