假设我想将一个实数四舍五入为一个自然数,我如何在VDM++中做到这一点?数学库似乎没有任何执行此操作的函数。
谢谢,里卡多
https://stackoverflow.com/questions/41361665
相似问题