Sylvie Boldo Guillaume Melquiond Emulation of a FMA and Correctly Rounded Sums: Proved Algorithms Using Rounding to Odd. 462-471 2008 57 IEEE Trans. Computers 4 http://doi.ieeecomputersociety.org/10.1109/TC.2007.70819 db/journals/tc/tc57.html#BoldoM08