As this is not uint but uint32, I think `0x7fffffff` is clearer than a bitshift. `^0x80000000` would probably be ok, too.