0x12345678 x 0x87654321
HI      = f76c768d   LO      = 70b88d78		signed
HI      = 09a0cd05   LO      = 70b88d78		unsigned

0x87654321 x 0x12345678
HI      = f76c768d   LO      = 70b88d78		signed
HI      = 09a0cd05   LO      = 70b88d78		unsigned

0x12345678 x 0x12345678
HI      = 014b66dc   LO      = 1df4d840		signed
HI      = 014b66dc   LO      = 1df4d840		unsigned

0x87654321 x 0x87654321
HI      = 38d16e98   LO      = d7a44a41		signed
HI      = 479bf4da   LO      = d7a44a41		unsigned


p1 * n2 = not(p1 * (1 + not(n2)))

n1 * p1 = not((1 + not(n1)) * p2)

p1 * p2 = p1 * p2

n1 * n2 = not(n1) * not(n2);


12345678 * ( 87654321 not and FFFFFFFF ) = + 12345677 =