Checking the size of int