Returns the base-2 logarithm of largest power of 2 which <= n.
Preconditions: n must be non-zero.
See Implementation
Returns the base-2 logarithm of largest power of 2 which <= n.
Preconditions: n must be non-zero.