Soweit ich weiss unterstüzt der GNU-AVR C Compiler kein double format. Er unterstützt single precession.
Bei kleinen Mikrokontrollern versucht man möglichst ohne Fließkommaarithmetik auszukommen, da bei der Einbindung der Rechenfunktionen sehr viel Speicher verbraucht wird.

Gruss,
stochri