pub fn certify<E: SignExpr>(expr: &E) -> Result<Sign, ExactError>Expand description
The proven sign: filter, then exact arithmetic if the filter was undecided.
Callers must have checked their inputs are finite
(require_finite); the exact tier has no value for NaN or infinity.