explicit cast of INT_MAX