lingo中是否有向上取整?向上取整的函数是什么?