Printing shortest decimal form of floating point number with Mir

[Atila Neves]

On Thursday, 24 December 2020 at 14:14:33 UTC, 9il wrote:
> On Thursday, 24 December 2020 at 14:08:32 UTC, welkam wrote:
>> On Wednesday, 23 December 2020 at 18:05:40 UTC, 9il wrote:
>>> It was a mockery executed by Atila
>> Read the all comments and didnt saw any mockery
>
> Yes, it wasn't explicit. He didn't write bad words, he did a 
> bad decision. Bad for D.

I apologise if what I wrote came across as mockery; it certainly 
wasn't intended that way.

How would you have liked for me to have handled it better?