如何四捨五入實數？

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. 
>