#(2^((2^(w-1))-1))*(2-(2^-t))
#2^32倍精度
#(2^((2^(135-1))-1))*(2-(2^-137438953336))
from decimal import *
getcontext().prec = 100
from decimal import localcontext
with localcontext() as ctx:
    print(ctx.Emax) # デフォルトの指数上限は999999なので、今回の計算だと足りない
    ctx.Emax = 10**10**5 # 指数上限を増やす
    #指数部
    w = 135
    #仮数部
    t = 137438953336
    a = ctx.power(2,(w - 1))
    b = ctx.power(2,(a - 1))
    print(b)
    c = t * -1
    d = ctx.power(2,c)
    print(d)
    e = (b * 2 - b * d)
    #最大値
    print("最大値")
    print(e)
    #必要に応じて有効桁を調整する
    format_str = "{:.1e}".format(e)
    print(format_str)
    f = e.log10()
    #桁数-1
    print("桁数-1")
    print(f.quantize(Decimal('0'), rounding=ROUND_FLOOR))
    #桁数
    print("桁数")
    print(f.quantize(Decimal('0'), rounding=ROUND_CEILING))
    g = f.log10()
    #桁数の桁数-1
    print("桁数の桁数-1")
    print(g.quantize(Decimal('0'), rounding=ROUND_FLOOR))
    h = ctx.power(2,t)
    i = h.log10()
    #有効桁数
    print("有効桁数")
    print(i.quantize(Decimal('0'), rounding=ROUND_FLOOR))
 

IygyXigoMl4ody0xKSktMSkpKigyLSgyXi10KSkKIzJeMzLlgI3nsr7luqYKIygyXigoMl4oMTM1LTEpKS0xKSkqKDItKDJeLTEzNzQzODk1MzMzNikpCmZyb20gZGVjaW1hbCBpbXBvcnQgKgpnZXRjb250ZXh0KCkucHJlYyA9IDEwMApmcm9tIGRlY2ltYWwgaW1wb3J0IGxvY2FsY29udGV4dAp3aXRoIGxvY2FsY29udGV4dCgpIGFzIGN0eDoKICAgIHByaW50KGN0eC5FbWF4KSAjIOODh+ODleOCqeODq+ODiOOBruaMh+aVsOS4iumZkOOBrzk5OTk5OeOBquOBruOBp+OAgeS7iuWbnuOBruioiOeul+OBoOOBqOi2s+OCiuOBquOBhAogICAgY3R4LkVtYXggPSAxMCoqMTAqKjUgIyDmjIfmlbDkuIrpmZDjgpLlopfjgoTjgZkKICAgICPmjIfmlbDpg6gKICAgIHcgPSAxMzUKICAgICPku67mlbDpg6gKICAgIHQgPSAxMzc0Mzg5NTMzMzYKICAgIGEgPSBjdHgucG93ZXIoMiwodyAtIDEpKQogICAgYiA9IGN0eC5wb3dlcigyLChhIC0gMSkpCiAgICBwcmludChiKQogICAgYyA9IHQgKiAtMQogICAgZCA9IGN0eC5wb3dlcigyLGMpCiAgICBwcmludChkKQogICAgZSA9IChiICogMiAtIGIgKiBkKQogICAgI+acgOWkp+WApAogICAgcHJpbnQoIuacgOWkp+WApCIpCiAgICBwcmludChlKQogICAgI+W/heimgeOBq+W/nOOBmOOBpuacieWKueahgeOCkuiqv+aVtOOBmeOCiwogICAgZm9ybWF0X3N0ciA9ICJ7Oi4xZX0iLmZvcm1hdChlKQogICAgcHJpbnQoZm9ybWF0X3N0cikKICAgIGYgPSBlLmxvZzEwKCkKICAgICPmoYHmlbAtMQogICAgcHJpbnQoIuahgeaVsC0xIikKICAgIHByaW50KGYucXVhbnRpemUoRGVjaW1hbCgnMCcpLCByb3VuZGluZz1ST1VORF9GTE9PUikpCiAgICAj5qGB5pWwCiAgICBwcmludCgi5qGB5pWwIikKICAgIHByaW50KGYucXVhbnRpemUoRGVjaW1hbCgnMCcpLCByb3VuZGluZz1ST1VORF9DRUlMSU5HKSkKICAgIGcgPSBmLmxvZzEwKCkKICAgICPmoYHmlbDjga7moYHmlbAtMQogICAgcHJpbnQoIuahgeaVsOOBruahgeaVsC0xIikKICAgIHByaW50KGcucXVhbnRpemUoRGVjaW1hbCgnMCcpLCByb3VuZGluZz1ST1VORF9GTE9PUikpCiAgICBoID0gY3R4LnBvd2VyKDIsdCkKICAgIGkgPSBoLmxvZzEwKCkKICAgICPmnInlirnmoYHmlbAKICAgIHByaW50KCLmnInlirnmoYHmlbAiKQogICAgcHJpbnQoaS5xdWFudGl6ZShEZWNpbWFsKCcwJyksIHJvdW5kaW5nPVJPVU5EX0ZMT09SKSkKIA==