How can an int be larger than INT_MAX?