Integer logarithm