int GTK.SpinButton()->get_numeric()
If != 0 the user can not enter anything but numeric values.
Extracted from Pike v7.3 release 11 at 2001-11-03.