WIP Exact semantics of Int. Needs tests.