Sprintf and mbed bare metal profile

No floating point in printf unless you explicitly enable it. Otherwise firmware sizes would generally explode.

Try adding

build_flags = -u_printf_float

to the platformio.ini. (c - arm-none-eabi-gcc : Printing float number using printf - Stack Overflow)