Implement integer type and __int-add