UINT64_MAX: bigint