printf: Support (un)signed 32-bit decimal numbers