pub fn floor_pow2(v: u32) -> u32
Largest power of two <= v (for v >= 1). floor_pow2(0) == 0.
<= v
v >= 1
floor_pow2(0) == 0