int GTK.SpinButton()->get_digits()
The number of decimal places to which the value will be displayed.