min(f32) * f32
