Hexadecimal number > 0xffffffff non-portable at ...