MAX_INTEGER: bigint = ...