The Boost function returns a ``boost::uintmax_t``, why not use ``uint64_t`` seems more common in our code already.