> That's "expensive" in terms of losing bits of expressiveness that could have been used to represent actual numbers.

The double precision floating point format already represents between 15 and 17 significant digits, and those who, for some reason, believe they need more expressiveness can already use the illusive and rarely needed 80-bit extended precision floating point format.

0.4% of anything is nothing.