Printing shortest decimal form of floating point number with Mir

[Imperatorn]

On Thursday, 7 January 2021 at 22:15:07 UTC, Ali Çehreli wrote:
> On 12/23/20 10:05 AM, 9il wrote:
>
> > It was a mockery executed by Atila
>
> For those who read the above comment but do not want to read 
> the rest of this long thread, the linked PR discussion does not 
> contain mockery:
>
> > https://github.com/dlang/dmd/pull/9778#issuecomment-498700369
>
> Ali

Agreed, just suboptimal communication.