数学基础-向下取整运算