Abstract Rounding error analyses of numerical algorithms are most often carried out via repeated applications of the so-called standard models of floating-point ...