小数除以整数的验算