如何围绕一个实数？

Question

假设我想将实数舍入为自然数，我怎样才能在VDM ++中执行此操作？ MATH库似乎没有任何功能可以做到这一点。

谢谢， 里卡多

Answer 1

有一个＆＃34;地板＆＃34; 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. 
>