函数取整的公式是什么