修好常量折叠这趟
场景：~/opt/优化.py 的 fold 把常量的类型判断写成了 float（本该 int），而常量都是整数、永远不匹配，一条都没折叠。
任务：把判断条件改对，让 --O2 后把两常量的运算都折成 const（运算条数降到说明要求）、且结果不变。改好运行 ~/check。
（判分只看你在受控容器里做出的优化产物，纯本机、纯 Python，没有 gcc、不碰公网。）
（改状态类：改完运行 ~/check，它按优化后指令条数 + 语义是否等价判；找东西类：把答案填进题里。）
全部评论