Fix the use of 0x80000000 as signed int