2 ^ 1024 - 2 ^ (1023 - 52)