Correct Rounding in Double Extended Precision. - Sélène Corbineau; Paul Zimmermann (ARITH, 2025)