floating point precision: is true double possible?

I'm still learning the avr gcc C language that the Arduino uses, but can't one just include and link the double math library that is available?

http://www.nongnu.org/avr-libc/user-manual/group__avr__math.html

Lefty