5.7.3 向下取整函数