Error-Free Transformation in Rounding Mode toward Zero. - Stef Graillat; Jean Luc Lamotte; Diep Nguyen Hong (Numerical Validation in Current Hardware Architectures, 2008)