History integer-logarithms.cabal