integer machine