0.5 ** 0.5 < i / i32
