ports/math/hs-integer-logarithms