Is there a decimal floating point library for 8-bit AVRs? I read that decimal support is buried somewhere in GCC 4, but I have no idea how to use it or if it's even supported by AVR-GCC.

I've seen a couple of fixed-point libraries, but I need at least 12 significant decimal digits. If no such library exists, I'm going to take a crack at porting the DFP library (http://dfp.sourceforge.net) from Java to C. DFP uses base 10000 (each "digit" is 16 bits and represents 4 decimal digits) but I figure that base 100 would work better on an 8-bit platform, and computation would be faster than with packed BCD. An 8-byte struct would store 6 bytes (12 digits) of mantissa, 1 byte of exponent (-128 to 127), and 1 byte for sign and other flags.

If it's been done already, let me know.