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

[Dennis Handly]

>From: Dennis Handly <dhandly at cup.hp.com>
>>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 did find:
http://mentorembedded.github.io/cxx-abi/abi.html#mangle.number
<number>s appearing in mangled names never have leading zeroes, except
for the value zero, represented as '0'.

Also there is no anchor for:
http://mentorembedded.github.io/cxx-abi/abi.html#mangle.float

It should point to:
Literals
...
Floating-point literals ...