Printing shortest decimal form of floating point number with Mir

[jmh530]

On Monday, 4 January 2021 at 21:07:49 UTC, welkam wrote:
> [snip]
> P.s. Thank you for a well written post with a link to useful 
> read.

Thanks for reading it.