Суть в том что определенная библиотека работает только с обычными int.
Данные не важны потому что абстрактные «максимум» и «текущее значение», и эти абстрактные данные только в uint64.
Как лучше сделать. Делить uint64 на 2 пока не уместится в std::numeric_limits<int>::max()
?