GtkSpinButton::get_value_as_int

int get_value_as_int();