Integer logarithms
