Roux, P. Innocuous Double Rounding of Basic Arithmetic Operations. JFR 2014, 7, 131-142.