I'm more familiar with the opposite where people become so awesome they travel up the food chain some and are greatly missed in their prior positions, that's not unknown.
Therefore, the problem isn't just the lack of decimal places for sats in freebitco. The sell price for each FUN token could be now 4 sat instead of 3 sat.
Its a big spread and same dilemma as the faucet itself where the nominal digits makes alot of difference. So if the price were 100 times higher, same market cap but different nominal pricing but with this 2 sat gap on the buy sell wouldn't matter but here its an impediment to trading, highly inefficient.
I see this on other assets sometimes, the market maker has a spread of 20% and its from lower volume hence the effective cost given is much higher then mainstream assets which the market gives a much more competitive bid/offer.
Maybe it does help but if BTC is making ATH and repeatedly higher then it'd be in effect the lower token price at that higher BTC price. I did think a pullback price for BTC this month was most likely and not till autumn does it break the ice as it were but maybe its all happening now for some reason.