Gtk.SpinButton.prototype.set_digits

function set_digits(digits:Number):void {
    // Gjs wrapper for gtk_spin_button_set_digits()
}

Set the precision to be displayed by spin_button. Up to 20 digit precision is allowed.

digits

the number of digits after the decimal point to be displayed for the spin button's value