fun digits: Int `{
		return gtk_spin_button_get_digits(self);
	`}