binary logarithm