Source position: gtkscale.inc line 62
function _gtk_scale_format_value(
scale: PGtkScale;
value: gdouble
):Pgchar;