BigRational: add IsZero, IsOne, IsInteger, Reciprocal, Pow (compat with **), FromFraction
Modulus, Remainder and Factorial for BigInteger