Hallo Florian,
genauer weis ich's grad auch nicht, aber mir fallen folgende Funktionen ein

itoa ==> integer to asccii
ftoa ==> weis nicht, ob's das in avr-gcc gibt

normalerweise geht es mit

sprintf ... ==> hat aber avr-gcc nicht

ansonsten gibt es den Thread hier

http://www.mikrocontroller.net/forum/read-2-11536.html

Ich habe es schon mal folgendermaßen gemacht:

void printfloat(float x)
{
int num,num2;

num=x;
num2=(x-num)*10;
printf("%d.%d",num,num2);
}

Diese Version ist ziemlich Speicherplatzsparend.

Falls Deine printf Funktion nicht auf die serielle Schnittstelle geht, kannst Du die beiden Integer-Werte mit itoa( int wert ) in ascii verwandeln und dann die einzelnen Zeichen getrennt raus schicken.

Gruss,
stochri