The Spinner widgets are not huge anymore if the upper limit is very large, on least Gtk 3.24. Fixes #2143