Compute the binary (base-2) logarithm.
The function is only defined where X is positive.
Accuracy: The result is a tight enclosure.
log2 (infsup (2)) ⇒ ans = [1]
See also: @infsup/pow2, @infsup/log, @infsup/log10.
Package: interval