Gtk.PrintSettings.prototype.get_int

function get_int(key:String):Number {
    // Gjs wrapper for gtk_print_settings_get_int()
}