Re: 32/64 bit ints