[ Číslo ] horní celá část

☞ x ≔ 4,5.
✎ psát: x horní celá část, stop.
5