move to 64-bit int