print uint64_t properly