Change printf format string for integer types