i32 <= -0.5
