整型运算满足如下三个恒等式（不考虑溢出的情况下）：
i + j - j === i;
i * j / j === i;
i / j * j + i % j === i
我们可以看出来在这几个式子中，我们可以得出这样的结论。
1、如果我们知道i+j和j，则i的值即可确定。
2、如果我们知道i-j和j，则i的值即可确定。
3、如果我们知道i*j和j，则i的值即可确定。
但我们仅知道i/j和j，不可能确定i的值
而是
4、如果我们知道i/j和i%j还有j的值，则i可以确定。
所以在计算平均值这样的场景，我们仅仅保存i/j和j的值，是不够的。如果加上i%j，则i的值也是可逆的。
所以在除法运算时，为了能够还原计算前的值，我们必须保存余数。
Summarized by Ivony