arrondi (2) :

L'arrondi à n décimales du réel x est le décimal d tel que d-510-(n+1)x<d+510-(n+1).
Dans la pratique, pour les réels positifs :
Si la décimale suivante est 0, 1, 2, 3 ou 4, l'arrondi se fait à la décimale inférieure, et
Si la décimale suivante est 5, 6, 7, 8 ou 9, l'arrondi se fait à la décimale supérieure.

L'arrondi de à 3 décimales est 3,142. L'arrondi de à 1 décimale est 1,4. L'arrondi de 7,265 à 2 décimales est 7,27. L'arrondi de -12,428 à 2 décimales est -12,43.

arrondi (2) :
L'arrondi de x à n décimales est d=E(10nx+0,5)10-n, où E est la fonction "partie entière".