JuliaLang/julia — comment on commit 1bcd796db83780d76932cf447fcf6f469063b4fc
File:  line 0
By JeffBezanson:

I feel the extra zeros are just wrong. It's saying those times are exact to the microsecond. You can't display the wrong number for formatting reasons.