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

And here is the last PR of my avalanche post-0.4.2 ;-)
Exact semantics of Int wrt arithmetics modulo 2^32, as discussed in #425.

Surprisingly small commit, with 2/3 of it being tests ;-)