See BigInt.