INT64_MAX: bigint