Per repeated discussion on cxx-abi-dev, remove the unwanted
"without leading zeroes" clause from the floating-point literal
mangling.

Generalize the wording a bit while I'm there.