f32 * i <= min(0.5, f64)
