• Guillaume Melquiond's avatar
    Rework numerical constants. · d3d7c7ac
    Guillaume Melquiond authored
    Main changes are:
    - Real constants now offer a normalized representation usable for internal
      computations.
    - Constants are no longer stored in textual form.
    d3d7c7ac
py_main.ml 13.7 KB