Made printf int format tags more independent