Fix #425: Exact semantics of Int (arithm modulo 2^32).
Merge pull request #436 from sjrd/exact-int

Fix #425: Exact semantics of Int (arithm modulo 2^32).