gtk_print_settings_get_double_with_default

alias gtk_print_settings_get_double_with_default = c_gtk_print_settings_get_double_with_default