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