5.0是不是小数