/math/hs-integer-logarithms/