object(GTK.SpinButton) GTK.SpinButton()->set_digits(int precision)
Set the number of digits to show to the user.