People have been shipping "hotfixes" for a long time now. When will someone take the initiative and officially label their patch a "coldfix"? Like for example, if PUBG ever fixed one of the bugs in their game that's been there for two years, that could be a "coldfix" update.
I haven't really spent enough time thinking deeply about floating point numbers. It probably isn't something I'll ever get around to, at this point. So I don't really feel qualified to speculate on the pros and cons of new methodologies.