gtk:range-round-digits (object)

object -- a gtk:range widget
round-digits -- an integer for the precision in digits, or -1

The accessor for the round-digits slot of the gtk:range class gets or sets the number of digits to round the value to when it changes. See the "change-value" signal.