Use PRIu64 for format string