Great point, I was thinking of ints as 32 bits. You're absolutely correct for 64 bit ints!