P. Roux, “Innocuous Double Rounding of Basic Arithmetic Operations”, JFR, vol. 7, no. 1, pp. 131–142, Jan. 2014.