ev equals INT_MAX