Improved uint64_t display in printf