IAR Embedded Workbench Compiler - fprint funktioniert nicht?

Hallo, ich wollte mal fragen ob jemand die Problematik kennt.

Ich will auf einem AT91sam7a3 per DBGU Port auf ner Seriellen Konsole 
Messwerte ausgeben.
Normalerweise geht das per fprint. Komischerweise kann das aber keine 
Gleitkommawerte darstellen. Andere Formate wie Ganzzahl oder Hex gehen!?

Folgender Code:

printf("Sensor 2: %3.2f \n\r",result[1]);

führt zu folgender Ausgabe:

"Sensor 2:     f"

Kennt das jemand? Hab ich da nen Fehler? result[1] ist vom Typ "float".