Ну начнём c того, что обычно её обозначают как (округление до меньшего). Любое целое число можно представить как единственным образом. Так вот и будет результатом операции . Есть ещё или "округление до большего", её результатом будет , если и если . Ну и наконец есть (округление до ближайшего целого), её результатом будет если и если .