Absorption in Double-Double Arithmetic

In case you can't tell, I've been following a double - double rabbit-hole recently. Those previous two posts were about performance, but this one is about semantics. Specifically, it's about using double-double arithmetic as an oracle for standard double-precision arithmetic, and a specific issue, absorption , that comes up. Double-double oracles I have a dream of "safe" numerical programming,…