Use PRIx64.