printf: add support for %I32