[ Number ] + [ Number ]

☞ x ≔ 2 + 2.
☞ y ≔ x + 0.5.
✎ write: x, stop.
✎ write: y, stop.
4
4.5