-2^{63}