write 64-bit integer to string