[ Nummer ] aufgerundet

☞ x ≔ 4,5.
✎ schreiben: x aufgerundet, halt.
5