Source position: gnomeconfig.inc line 40
procedure _gnome_config_set_float(
path: Pchar;
value: gdouble;
priv: gint
);