ghc-integer-logarithms