Extend finite domains to Int64, BigInteger, BigInt