When compiling with gcc, floating point isn’t currently supported in printf as it significantly increases code size (even if you’re not using floating point).
We intend to introduce a configuration option to make it possible to enable floating point printing in the future though.
Please could you open an issue for this on our base gcc target description, at Issues · ARMmbed/target-mbed-gcc · GitHub, so that we can plan the work to address this!