https://github.com/haskellari/integer-logarithms
