--- spinbutton_old.py	2011-12-21 04:05:34.000000000 +0100
+++ spinbutton.py	2012-10-11 11:30:13.568854154 +0200
@@ -29,7 +29,7 @@
     def __init__(self, window, parent, model, attrs={}):
         interface.widget_interface.__init__(self, window, parent, model, attrs)
 
-        adj = gtk.Adjustment(0.0, -sys.maxint, sys.maxint, 1.0, 5.0)
+        adj = gtk.Adjustment(0.0, -sys.maxint-9999999999999999, sys.maxint+9999999999999999, 1.0, 5.0)
         self.widget = gtk.SpinButton(adj, 1.0, digits=int( attrs.get('digits',(14,2))[1] ) )
         self.widget.set_activates_default(True)
         self.widget.connect('populate-popup', self._menu_open)