Define INTMAX_MAX