Yeah, exactly. It’s that when we round to 0 digits, we still have a Float64, and an integral Float64 is always printed with .0. That implies (to my human brain) that .0 is a significant digit of the value, but that’s not the case.
The solution might be to never round to exactly 0 digits when printing in compact mode.