Fix INT_VALUES_MAX