1 / i32 <= f32
