Because INT(x) for any value of x is still 32-bits