Ah, that's very reasonable. The ocd in me is slightly bothered by the lost coins thing with BTC.
Discussion
It bothers you, because you care
Who cares about lost coins? Infinitly divisible. If they're truly lost, yours just become worth more.
It's more ocd than anything, only care a little. And I don't think it's infinitely divisible without a hard fork, but I get your point
No. Bitcoin has always been infinitly divisible and is already divided into millisats for lightning network fees.
Nothing smaller than 1 sat on chain. Didn't know millisats was a thing yet, had heard it was possible once and that it may involve probabilistic ownership or something like that.