fn degree_product(v: f64) -> (f64, f64)
ν(ν + 1) as an unevaluated sum high + low.
ν(ν + 1)
high + low