change to 64-bit int