python3.10.6のdecimalでは、指数上限が17桁まで指定可能なので、

(2^((2^(59-1))-1))*(2-(2^-262084))
1.6e+86765988883177455

は計算できるが

(2^((2^(63-1))-1))*(2-(2^-524224))

はOverflowErrorとなる。