Error bounds from extra-precise iterative refinement
ACM Transactions on Mathematical Software
E. Jason Riedy
Xiaoye S. Li
William Kahan
Yozo Hida
James Demmel