exp-o : ....xN...xN...xN...xN... (32+4 bits - x to be discarded)
o : .... N... N... N... N... (32 bits - x ignored, N is carry-over)
+new version:
+
+ partition: .... P... P... P... P... (32 bits)
+ a : .... .... .... .... .... (32 bits)
+ b : .... .... .... .... .... (32 bits)
+ exp-a : 0....P....P....P....P....1 (32+4 bits, P=1 if no partition)
+ exp-b : 0....C....C....C....C....C (32 bits plus 4 zeros)
+ exp-o : c....cN...cN...cN...cN...x (32+4 bits - x to be discarded)
+ o : .... N... N... N... N... (32 bits - x ignored, N is carry-over)
+