0.5 ^ i >= i32
