some handling of 32-bit ints