Richtig. Double und float ist in AVR-GCC ein und das Selbe. Keine Unterschiede soweit ich weis.

Gruß, Yaro