Improve printf formatter #9756

Job	Run time
check-ubuntu-20_04-make-gcc	16m 14s
check-ubuntu-20_04-make-clang-smt-z3	3m 55s
check-ubuntu-20_04-cmake-gcc	19m 23s
check-ubuntu-22_04-cmake-gcc	21m 0s
check-ubuntu-22_04-make-clang	19m 5s
check-macos-11-make-clang	43m 10s
check-macos-12-cmake-clang	1h 3m 19s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG	2m 39s
check-ubuntu-20_04-cmake-gcc-THOROUGH	6m 35s
check-ubuntu-20_04-make-clang	24m 46s
check-ubuntu-22_04-cmake-gcc-13	18m 56s
check-ubuntu-22_04-cmake-gcc-32bit	19m 34s
check-vs-2019-cmake-build-and-test	1h 4m 49s
check-docker-image	20m 10s
check-string-table	2m 36s
check-vs-2022-make-build-and-test	51m 15s
codecov-coverage-report	27m 5s
include-what-you-use	26m 49s
windows-msi-package	19m 19s
	7h 50m 39s

Provide feedback