i32 ^ 0.5 < i
