Printing shortest decimal form of floating point number with Mir

[Ola Fosheim Grøstad]

On Wednesday, 23 December 2020 at 18:05:40 UTC, 9il wrote:
> Have you read the DMD PR  thread (not the DIP itself)?
>
> It was a mockery executed by Atila accompanied by silent 
> Walter's and Andrei's ignoring.

I am not sure if I read the same one, I didn't perceive it as 
mockery. Atila seemed to imply that a bigger language change is 
needed and that this DIP would only fix one bit of what has to 
change? Then he tried to suggest alternatives. Maybe he did not 
understand that it makes the compiler look buggy. The 
communication was not very clear though… Looked more like people 
talking past each other than mockery.