Different handling of 32-bit overflow