Pure stampare su un terminale variabili di tipo float torna comodo :-)
Per il corretto funzionamento della formattazione dei float in printf() occorre attivare la libreria newlib-nano   float formatter

La voce è relativa al linker e vi si accede dal menu Project -> Build setting

Può essere neccessario anche ampliare l'Heap size

Vedi figura.