-30107963 + 2**32 = 4264859333