// [Hier b*c == a mod 2^j und d = (a-b*c)/2^j.] j=intDsize -> fertig.
// Falls d ungerade, setze c:=c+2^j und d:=(d-b)/2, sonst d:=d/2.
// Ergebnis c.
// [Hier b*c == a mod 2^j und d = (a-b*c)/2^j.] j=intDsize -> fertig.
// Falls d ungerade, setze c:=c+2^j und d:=(d-b)/2, sonst d:=d/2.
// Ergebnis c.