Int conv bug

Fixed the integer conversion bug. Passes on these configurations:

$ gcc --version
gcc (Ubuntu/Linaro 4.8.1-10ubuntu9) 4.8.1
$ uname -a 
Linux xxx 3.11.0-12-generic #19-Ubuntu SMP Wed Oct 9 16:12:00 UTC 2013 i686 i686 i686 GNU/Linux
$ gdb --version
GNU gdb (GDB) 7.6.1-ubuntu

and

$ gcc --version
gcc-4.8.real (Ubuntu/Linaro 4.8.1-10ubuntu9) 4.8.1
$ uname -a
Linux xxx 3.11.0-20-generic #34-Ubuntu SMP Tue Apr 1 20:40:25 UTC 2014 x86_64 x86_64 x86_64 GNU/Linux
$ gdb --version
GNU gdb (GDB) 7.6.1-ubuntu