[cxx-abi-dev] Clarification about mangling floating point literals

[Dennis Handly]

>From: Matthew Dempsky <matthew at dempsky.org>
>"Floating-point literals are encoded using a fixed-length lowercase
>hexadecimal string corresponding to the internal representation (IEEE
>on Itanium), high-order bytes first, without leading zeroes."

This seems a contradiction.  How can you have a fixed length and have
"without"?  Unless you start with the fixed length, then remove.

>Can someone please clarify for me how floating-point literals can be
>encoded as a "fixed-length" string but "without leading zeros"?  E.g.,
>how should 0.0f be encoded?

I would assume you remove all but the only zero nibble. 
I.e. The last zero isn't leading.