Feature request: the trace attribute should support scientific notation

[patrick-nicodemus]

If my variable is less than 10^-8 or so, then the #[trace] attribute just prints:

common.fut:182:20-37: 0.000000

It would be helpful if it was available in scientific notation. I would like to see the value of the number out to so many significant digits. At the least I would like to know whether the value is zero.