1 - 17 ms, 553 ╬╝s, and 1 hnsec

Sat May 18 00:17:20 UTC 2019

On Friday, 17 May 2019 at 20:30:56 UTC, Bastiaan Veelo wrote:
> On Friday, 17 May 2019 at 18:36:00 UTC, ag0aep6g wrote:
>> I'd suggest "17 ms, and 553.1µs" for a better default (1 hns 
>> is 0.1 µs, right?). No weird "hnsecs", no false precision, 
>> still all the data that is there.
>
> I was going to propose the same. Hns is weird.

Why not simply 17.5531 ms ("%.4f ms") to get rid of the non-ASCII 
µ prefix?