/math/hs-integer-logarithms/patches/