Issues

• Q.mul_2exp and Q.div_2exp fail with negative exponent

  ocaml/Zarith#171 · Filter by author JanBeh opened on Mar 26, 2026
  1

• Fallible conversion from string

  ocaml/Zarith#170 · Filter by author JanBeh opened on Mar 26, 2026
  10

• GMP mpq_cmp function features a lot of fast cases compared to Q.compare

  Feature

  ocaml/Zarith#160 · Filter by author bobot opened on Mar 3, 2025
  2

• Compiling Zarith 1.14 on MacOS ARM

  ocaml/Zarith#156 · Filter by author arozovyk opened on Aug 26, 2024
  5

• Setting OCAMLFIND_DESTDIR can mess with opam installation

  ocaml/Zarith#136 · Filter by author Alizter opened on Mar 8, 2023
  5

• Naive question about static linking

  ocaml/Zarith#126 · Filter by author RBornat opened on Sep 3, 2022
  2

• Publish Z_mlgmpidl module on opam

  ocaml/Zarith#119 · Filter by author sim642 opened on Jan 21, 2022
  2

• Windows MSVC ABI compatible build

  ocaml/Zarith#43 · Filter by author trou opened on Jan 22, 2019
  1

• Exponentiation is missing in module Q

  enhancementhelp wanted
  ocaml/Zarith#33 · Filter by author loxs opened on May 14, 2018
  2