Source position: gnomeconfig.inc line 5
function _gnome_config_get_float_with_default(
path: Pchar;
def: Pgboolean;
priv: gint
):gdouble;