Function format_trace_value 

pub fn format_trace_value(v: f64) -> String

Format a numeric value for trace output — strips trailing zeros so 1.000000 reads as 1 and 0.5 stays 0.5. Mirrors formatTraceValue in the JavaScript implementation so cross-runtime traces match exactly.