Ensure that log2_frac() is _really_ an upper bound.