Как округлить вещественное число?

Question

Скажем, я хотел округлить действительное число до натурального числа, как я могу сделать это в VDM++? Библиотека MATH, похоже, не имеет какой-либо функции, которая делает это.

Спасибо Рикардо

Answer 1

В VDM есть "напольный" оператор. Это возвращает наибольшее целое число, которое меньше или равно его аргументу.

> p floor 1.23
= 1
Executed in 0.034 secs. 
> p floor -1.23
= -2
Executed in 0.002 secs. 
> p floor 123
= 123
Executed in 0.001 secs. 
>