i32 <= f32 / 0.5
