Add BigIntegerExact methods, etc.