Implement integers and unchecked integer addition