is there a double precision floating point math library available for dynamic c 10.X ?

I need 9 or more digits of precision after the decimal point. I think the current number of digits of precision is 6. Is there a double precision floating point library available for dynamic c version 10.x ? thanks,

This GoFast floating point library is originally written for 8051 MCUs, but maybe these guys can help you get it running on your Rabbit module:

http://www.smxrtos.com/ussw/gofast/gofast_8051.htm

sf