Clarification on floating point literal mangling

[Mike Herrick]

We recently ran across this seeming inconsistency with the description of mangling for floating point literals.  The current wording calls for both "fixed-length" and "without leading zeroes".  We think the "without leading zeroes" portion should be removed to match existing practice:

*** abi.orig.html       Mon Aug  2 08:34:44 2010
--- abi.html    Mon Aug  2 08:35:09 2010
***************
*** 4578,4584 ****
  <p>
  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.  For
  example: "Lf bf800000 E" is -1.0f on Itanium.
  
  <p>
--- 4578,4584 ----
  <p>
  Floating-point literals are encoded using a fixed-length lowercase
  hexadecimal string corresponding to the internal representation (IEEE
! on Itanium), high-order bytes first.  For
  example: "Lf bf800000 E" is -1.0f on Itanium.
  
  <p>


Thanks.

Mike Herrick
Edison Design Group