标签： z-notation
在Z标记/对象Z中创建一个名为round的函数，该函数返回给定实数的最接近的整数值。考虑一个小数点后一位的精度。
我真的不确定如何定义它。也许是递归的，但我不知道
到目前为止，这是我真正拥有的全部。不知道要定义它。
回合：R-> Z
对于R中的所有n