fix 64-bit int value