0.5 ** i <= i32
