More ABI changes

[Walter Bright]

Don Clugston wrote:
> That's brilliant. It means you have automatic compression of trailing 
> zero bits. I guess if you strip off the "0x1.", you get rid of the 
> problem with the formats which use another character like "0xA." instead.
> I presume it will have either the length at the front like an Lname, or 
> else some character as a delimiter?

It doesn't need a delimiter, as it ends in a P followed by the exponent 
in decimal.