取整函数的理解