一个数除以小数的计算法则是依据什么的性质得来的