Correct Rounding in Double Extended Precision.

Slne Corbineau, Paul Zimmermann

Browse the full ARITH paper archive.