Use a different 64-bit type to see if it helps