I doubt this would be neccessary, if uint64_t could be printed via sprintf.
How to Print uint64_t in Arduino