ensure ints are 32 bit