Clarifed that 2^31-1 is INT32_MAX