Add tests for unsigned arithmetic
Fix truncation of constant int literal that cannot be represented in int32.