Gtk.SpinButton.prototype.get_value_as_int

function get_value_as_int():Number {
    // Gjs wrapper for gtk_spin_button_get_value_as_int()
}