Integer logarithms.
Math.NumberTheory.Logarithms splitted out of arithmoi
Math.NumberTheory.Logarithms
arithmoi