Yusuke Esaka

Bit-Exact Absorption of Underflowing Summands under IEEE 754 Round-to-Nearest-Even

Preprint. A local IEEE 754 binary64 criterion is given under which an addend may be replaced by 0 without changing a bit of a fixed addition tree (round-to-nearest-even). A second theorem lifts a bound on the omitted impulse to an observable such as an integrated coordinate, when...

Bit-Exact Absorption of Underflowing Summands under IEEE 754 Round-to-Nearest-Even

Preprint. A local IEEE 754 binary64 criterion is given under which an addend may be replaced by 0 without changing a bit of a fixed addition tree (round-to-nearest-even). A second theorem lifts a bound on the omitted impulse to an observable such as an integrated coordinate, when...