Returns the greatest BigInt value no greater than this Rational.
BigInt floor() => isInteger ? truncate() : _isNegative ? (truncate() - _i1) : truncate();