0x412345678 * 0x187654321 = 0x06396a300170b88d78 <- must be '0x6396a300170b88d78'
-0x514233241 * -0x234567 = 0x0000b321487597bd27 settle down to '0xb321487597bd27'
