Traceback (most recent call last):
  File "C:\Users\victor\Documents\Codex\2026-10-29\wha\work\komorebi-open-research\tools\check_euler_case.py", line 236, in <module>
    main()
  File "C:\Users\victor\Documents\Codex\2026-10-29\wha\work\komorebi-open-research\tools\check_euler_case.py", line 229, in main
    args.output.write_text(json.dumps(result,indent=2)+'\n',encoding='utf-8',newline='\n')
                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "C:\Users\victor\.cache\codex-runtimes\codex-primary-runtime\dependencies\python\Lib\json\__init__.py", line 238, in dumps
    **kw).encode(obj)
          ^^^^^^^^^^^
  File "C:\Users\victor\.cache\codex-runtimes\codex-primary-runtime\dependencies\python\Lib\json\encoder.py", line 202, in encode
    chunks = list(chunks)
             ^^^^^^^^^^^^
  File "C:\Users\victor\.cache\codex-runtimes\codex-primary-runtime\dependencies\python\Lib\json\encoder.py", line 432, in _iterencode
    yield from _iterencode_dict(o, _current_indent_level)
  File "C:\Users\victor\.cache\codex-runtimes\codex-primary-runtime\dependencies\python\Lib\json\encoder.py", line 406, in _iterencode_dict
    yield from chunks
  File "C:\Users\victor\.cache\codex-runtimes\codex-primary-runtime\dependencies\python\Lib\json\encoder.py", line 406, in _iterencode_dict
    yield from chunks
  File "C:\Users\victor\.cache\codex-runtimes\codex-primary-runtime\dependencies\python\Lib\json\encoder.py", line 326, in _iterencode_list
    yield from chunks
  File "C:\Users\victor\.cache\codex-runtimes\codex-primary-runtime\dependencies\python\Lib\json\encoder.py", line 439, in _iterencode
    o = _default(o)
        ^^^^^^^^^^^
  File "C:\Users\victor\.cache\codex-runtimes\codex-primary-runtime\dependencies\python\Lib\json\encoder.py", line 180, in default
    raise TypeError(f'Object of type {o.__class__.__name__} '
TypeError: Object of type Fraction is not JSON serializable
