fn exact_square(v: f64) -> (f64, f64)
Dekker’s exact square: v² = square + error.
v² = square + error