const Rational div(const Rational& z, const Rational& n) { Rational r = z; r.div(n); return r; }
Rational operator/(const Rational& r1, const Rational& r2) { return r1.div(r2); }