fun value: Float `{
		return gtk_spin_button_get_value(self);
	`}