Printing shortest decimal form of floating point number with Mir

[Atila Neves]

On Tuesday, 29 December 2020 at 19:59:56 UTC, Ola Fosheim Grøstad 
wrote:
> On Tuesday, 29 December 2020 at 16:14:59 UTC, Atila Neves wrote:
>> [...]
>
> I am not speaking for Ilya, but from skimming through the 
> dialogue it struck me that you didn't respond from the 
> perspective of managing the process, but from a pure engineer 
> mindset of providing alternatives.
>
> It would've been better if you started by 1. understanding the 
> issue 2. acknowledging that the type system has an obvious bug 
> 3. looking at the issue from the perspective of the person 
> bringing attention to the issue. I don't think anyone was 
> looking for workarounds, but looking for
>
> 1. acknowledgment of the issue
> 2. acknowledgment of what the issue leads to in terms of 
> inconvenience
> 3. a forward looking vision for future improvements

Your two #1 points aren't the same - understanding/acknowledging 
the issue. I think I could have done more to acknowledge it now 
that you brought it up.