Gtk.PrintSettings.prototype.get_double

function get_double(key:String):Number {
    // Gjs wrapper for gtk_print_settings_get_double()
}