Comment by adrian_b

Newlib provides both a standard printf, which is necessarily big, and a printf that does not support any of the floating-point format specifiers.

The latter is small enough so that I have used it in the past with various small microcontrollers, from ancient types based on PowerPC or ARM7TDMI to more recent MCUs with Cortex-M0+.

You just need to make the right configuration choice.