bei mir funktioniert das casting mit dem GCC schon, ich verwende aber nur ganze Zahlen
vielleicht liegts auch daran
Übrigens implementiert die avr-libm nur den SFmode (also float)
also gehts vielleicht, wenn man nach float castet, ist aber nur ne Vermutung