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.

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