《整数乘法定律推广到小数》