webmcp: 2c0db49591be framework/env/trace/_

webmcp

Increased decimal precision to 17 in json.export(...)

line source

1 trace._disabled = false

2 trace._tree = { type = "root", start_hires_time = extos.monotonic_hires_time() }

3 trace._stack = { trace._tree }