将x转换为最小整数解时，为什么模数会是b/d

即

C/=d;
b=abs(b/d);
x=(x*C%b+b)%b;

这个b为什么要这样做