UINT64_MAX: bigint = ...