Integer arithmetic intermediate representation