Computing predecessor and successor in rounding to nearest Rump, Siegfried M. Zimmermann, Paul Boldo, Sylvie Melquiond, Guillaume 2009 - TUHH Open Research