Du kannst natürlich auch float verwenden und dann nach double casten:
sprintf(string,"%f",(double)float_zahl);

Allerdings sollte man bei Mikrocontrollern so weit wie möglich auf Kommazahlen verzichten und stattdessen Ganzzahlen verwenden, diese sind für einen Computer viel leichter zu handeln.