Définition
Arrondi
Soit un nombre $x$ encadré par $a$ et $b$ tel que $a < x < b$.
L'arrondi à $b - a$ près du nombre $x$ a la même valeur que la valeur approchée à $b - a$ près (celle par défaut ou celle par excès) qui est la plus proche du nombre $x$.