Function exact_sum 

pub fn exact_sum(terms: &[(i128, i32)]) -> f32

Σ v·2^e over terms, rounded once to f32: exact while every term lies within SUM_WINDOW places of the largest term’s least place, a term past the window floored at it, however far past; no terms is +0.