А что с эмуляцией FPU в ARM Cortex M* и печатью флоатов в printf()-е?

[Stalkert]

Оно есть вообще в наличии?

 arm, bare metal, cortex-m, float, gcc