Printing shortest decimal form of floating point number with Mir

[John Colvin]

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.

Big difference between bad decision and mockery. It's very 
possible he was wrong, but I don't think he wasn't taking it 
seriously.