src/utils_format_json.[ch]: Export gauges with 15 decimal places of precision.