整数乘法运算定理推广到小数