Another #FloatingPoint refinement of pair arithmetic. This time on the so-called "sloppy add"
https://arxiv.org/abs/2404.05948

AFIK: latest refinement of the accurate building blocks are in this: https://hal.science/hal-02972245

& weakened constraint versions by Rump & Lang https://www.tuhh.de/ti3/paper/rump/LaRu2017b.pdf

Comments