fun round_digits: Int `{
		return gtk_range_get_round_digits(self);
	`}