在st表中求区间长度的对数时我们常常会用到：$k=log2(r-l+1)$,如果是$log2(5)$，即$k∉Z$时，是自动返回向下取整吗