On Saturday, 18 May 2019 at 00:17:20 UTC, kdevel wrote: > Why not simply 17.5531 ms ("%.4f ms") to get rid of the > non-ASCII µ prefix? fwiw I like this solution for the output. It is very clear to me.