This is the (negative) binary logarithm itself, without appropriate range reduction