Some issues related to double roundings (2011)

by Érik Martin-dorel , Guillaume Melquiond , Jean-michel Muller