fun digits=(nb_digits: Int) `{
		gtk_spin_button_set_digits(self, nb_digits);
	`}