-2^31