Function fuzzy_proportion 

pub fn fuzzy_proportion(degrees: &[f64]) -> Option<f64>

Sigma-count proportion: the fuzzy “fraction satisfied” = Σ degrees / n. None for an empty set.