Gtk.SpinButton.prototype.get_value

function get_value():Number {
    // Gjs wrapper for gtk_spin_button_get_value()
}