数字后面有小数点怎么去掉