// Wegen a>=2^c, b>=2^d sind c,d < (integer-length a,b) < intDsize*2^intCsize.
// In Matrizenschreibweise:
// Wenn eine Folge von Divisionsschritten D und Vertauschungsschritten V
// Wegen a>=2^c, b>=2^d sind c,d < (integer-length a,b) < intDsize*2^intCsize.
// In Matrizenschreibweise:
// Wenn eine Folge von Divisionsschritten D und Vertauschungsschritten V