pub fn minf(a: f32, b: f32) -> f32