[NTG-pdftex] fix_int() corrections