Bis jetzt unterstützt AVR-GCC nur das 32 Bit Floatingpoint Format. Wenn man variablen als double definierert wird ersatzweise auch mit den selben Zahlen gerechnet. Es wird auch nichts mit mehr Präzision gerechnet wenn man double schreibt. Es sollte also völlig egal ob man single, double oder float nutzt. Auch gemischt könnte gehen.


Für andere Prozessoren kennt GCC auch andere Floatingpoint typen. Da könnte es zum Teil vorkommen dass die FPU nur ein 64 Bit Format kennt, und dann tatsächlich mit 64 bit gerechent wird und erst im Speicher die Auflösung reduziert wird.