replace unsigned long long by std::uint64_t