Sterbenz lemma

exact floating-point subtraction theorem

Categories: