GTK.Scale set_digits(int precision)
Sets the number of decimal places that are displayed in the value.