i32 >= -0.5
