--- a/RegressionTests__IntegerTest.st	Fri Sep 02 10:14:49 2016 +0200
+++ b/RegressionTests__IntegerTest.st	Fri Sep 02 10:57:25 2016 +0200
@@ -4076,6 +4076,27 @@
     SmallInteger maxBytes == 8 ifTrue:[
         self assert:((Integer readFrom:'4611686018427387903') class == SmallInteger)
     ].
+    "/ max-smallint+1 on 64bit machines
+    self assert:((Integer readFrom:'4611686018427387900') printString = '4611686018427387900').
+    SmallInteger maxBytes == 8 ifTrue:[
+        |t t3 t4a t4b|
+
+        self assert:((Integer readFrom:'4611686018427387900') class == SmallInteger).
+        t := (Integer readFrom:'4611686018427387900').
+        t3 := t + 3.
+        self assert:(t3 class == SmallInteger).
+        self assert:(t3 printString = '4611686018427387903').
+        t4a := t3 + 1.
+        self assert:(t4a class == LargeInteger).
+        self assert:(t4a printString = '4611686018427387904').
+        t4b := t + 4.
+        self assert:(t4b class == LargeInteger).
+        self assert:(t4b printString = '4611686018427387904').
+        self halt.
+    ].
+    self assert:((Integer readFrom:'4611686018427387904') printString = '4611686018427387904').
+    self assert:((Integer readFrom:'4611686018427387904') class == LargeInteger).
+
     "/ min-smallint on 64bit machines
     self assert:((Integer readFrom:'-4611686018427387904') printString = '-4611686018427387904').
     SmallInteger maxBytes == 8 ifTrue:[