Post #2057536

Finally I understand the difference between [Dekker71] FAST-TWO-SUM(a,b) and [Knuth81] TWO-SUM(a,b) FAST-TWO-SUM requires a>b and both return: x = a + b + err(a⊕b) y = -err(a⊕b) So yes, x+y = a+b but not quite how you might imagine. Well that only took 30 years to grok.