Allow to use big positive numbers (>0x80000000) in 32bit mode