Introduce ilog2_ceil()