julia

6c6b5d42 - time in seconds: print times as 1.234 if ≥ 1 or 1.234/10^p if < 1.