Emulation of a FMA and Correctly Rounded Sums: Proved Algorithms Using Rounding to Odd