min(f32, 0.5) <= i64
