gtk:scale-digits (object)

object -- a gtk:scale widget
digits -- an integer for the number of decimal places to display

The accessor for the digits slot gets or sets the number of decimal places that are displayed. Also causes the value of the adjustment to be rounded off to this number of digits, so the retrieved value matches the value the user saw.