> care more about binary size than speed

That does not seem to be true if you look at how string formatting is implemented.