Error-Free Transformation in Rounding Mode toward Zero.

Published in: Numerical Validation in Current Hardware Architectures (2008)