--- a/RegressionTests__IntegerTest.st	Mon Dec 02 17:23:36 2013 +0100
+++ b/RegressionTests__IntegerTest.st	Mon Dec 02 17:36:34 2013 +0100
@@ -2457,13 +2457,26 @@
     |t1 t2 r|
 
     t1 := LargeInteger digitBytes:#[ 16rFF 16rFF 16rFF 16rFF 16rFF 16rFF 16rFF 16rFF].
+    t2 := LargeInteger digitBytes:#[ 16rFF 16rFF 16rFF 16rFF 0 0 0 0].
+    r := t1 absMul:t2.
+    self assert:(r hexPrintString = 'FFFFFFFEFFFFFFFF00000001').
+
+    t1 := LargeInteger digitBytes:#[ 16rFF 16rFF 16rFF 16rFF 16rFF 16rFF 16rFF 16rFF].
     t2 := LargeInteger digitBytes:#[ 16rFF 16rFF 16rFF 16rFF 16rFF 0 0 0].
-    r := t1 absMul:t2.
+    r := t1 absMul:t2.            
+    self assert:(r printString = '20282409603633223678774030106625').
     self assert:(r hexPrintString = 'FFFFFFFFFEFFFFFF0000000001').
 
     t1 := LargeInteger digitBytes:#[ 16rFF 16rFF 16rFF 16rFF 16rFF 16rFF 16rFF 16rFF].
     t2 := LargeInteger digitBytes:#[ 16rFF 16rFF 16rFF 16rFF 16rFF 16rFF 0 0].
-    r := t1 absMul:t2.              
+    r := t1 absMul:t2.                        
+    self assert:(r printString = '5192296858534809181504947642957825').
+    self assert:(r hexPrintString = 'FFFF00000000FFFEFF0000000001').
+
+    t1 := LargeInteger digitBytes:#[ 16rFF 16rFF 16rFF 16rFF 16rFF 16rFF 16rFF 16rFF].
+    t2 := LargeInteger digitBytes:#[ 16rFF 16rFF 16rFF 16rFF 16rFF 16rFF 16rFF 0].
+    r := t1 absMul:t2.
+    self assert:(r printString = '1329227995784915854385005392532865025').
     self assert:(r hexPrintString = 'FFFFFFFFFFFEFFFF000000000001').
 
     "