如何舍入一个实数？
How to round a real number?
假设我想将实数四舍五入为自然数，我如何在 VDM++ 中做到这一点？ MATH 库似乎没有执行此操作的任何函数。
谢谢，
里卡多
VDM 中有一个 "floor" 运算符。 returns 小于或等于其参数的最大整数。
> 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.
>
假设我想将实数四舍五入为自然数，我如何在 VDM++ 中做到这一点？ MATH 库似乎没有执行此操作的任何函数。
谢谢， 里卡多
VDM 中有一个 "floor" 运算符。 returns 小于或等于其参数的最大整数。
> 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.
>