specify uint64_t for std::min call