Wenn diese Stelle eine 0,1,2,3 oder 4 ist, wird abgerundet.

Wenn diese Stelle eine 5,6,7,8 oder 9 ist, wird aufgerundet.

$\mathrm{0,7252}0\{,\}7252$ wird auf $\mathrm{0,73}0\{,\}73$ aufgerundet und ist die kleinste der angegebenen Zahlen, die gerundet $\mathrm{0,73}0\{,\}73$ ergibt.