docs: public int compareTo(final Rational val) {
          /* Since we have always kept the denominators positive,
           * simple cross-multiplying works without changing the sign.
           */
          final BigInteger left = a.multiply(val.b);
          final BigInteger right = val.a.multiply(b);
          return left.compareTo(right);
      }