Format 64 bit ints as strings