Fix handling of precision specifier for integers in printf

Back out workaround in doom