ZArith v1.13

• #113: add conversions to/from small unsigned integers (to|fits)_(int32|int64|nativeint)_unsigned [Antoine Miné]
• #128: add functions to pseudo-randomly generate integers [Xavier Leroy]
• #105: add Big_int.big_int_of_float [Yishuai Li]
• #90: add fast path to Z.extract when extraction leads to a small integer [Frédéric Recoules]
• #137: more precise bounds for of_float conversion to small ints [Antoine Miné]
• #118: fix Z_mlgmpidl interface for mlgmpidl >= 1.2 [Simmo Saan]
• #109: fix typo in ml_z_mul function [Bernhard Schommer]
• #108: fix dependency on C evaluation order in ml_z_remove [Xavier Clerc]
• #117 #120 #129 #132 #135 #139 #141: configure & build simplifications and fixes [various authors]
• #134: CI testing: add Windows, test both 4.14 and 5.0 [Hugo Heuzard]

ZArith v1.12

• PR #79: fast path in OCaml (instead of assembly language) [Xavier Leroy]
• PR #94: remove source preprocessing and simplify configuration [Xavier Leroy]
• PR #93: fix parallel build [Guillaume Melquiond]
• PR #92: fix benchmark for subtraction [Guillaume Melquiond]
• Require OCaml 4.04 or later [Xavier Leroy]
• Add CI testing on macOS [Xavier Leroy]

ZArith v1.11

• Fixes #72, #75, #78: multiple fixes for of_string, support for underscores [hhugo]
• Fix #74: fix Q.to_float for denormal numbers [pascal-cuoq]
• Fix #84: always represent min_int by a tagged integer [xavierleroy]
• muliple fixes for min_int arguments [xavierleroy]
• Improvement #85: optimize the fast paths for comparison and equality tests [xavierleroy]
• Fix #80: ar tool is detected in configure [jsmolic]

ZArith v1.10

• Improvement #66: added some mpz functions (divisible, congruent, jacobi, legendre, krobecker, remove, fac, primorial, bin, fib, lucnum)
• Improvement #65: Q.of_string now handles decimal point and scientific notation [Ghiles Ziat]
• Fix #60: Z.root now raises an exception for invalid arguments
• Fix #62: raise division by 0 for 0-modulo in powm
• Fix #59: improved abs for negative arguments
• Fix #58: gcd, lcm, gcdext now behave as gmp for negative arguments
• Fix #57: clean compile with sage strings [hugo]

ZArith v1.9.1 (bugfix)

• Fix configure issue for non-bash sh introduced in #45
• Tweaks to opam file [kit-ty-kate]

ZArith v1.9

• Issue #50: add opam file, make it easy to "opam publish" new versions
• Issue #38: configure detects 32bit OCaml switch on 64bit host
• Fix #36: change Q.equal, leq, geq comparisons for undef
• Request #47: move infix comparison operators of Z in submodule,
  avoid shadowing the polymorphic compare
• Fix #49: INT_MAX undeclared
• Request #46: add prefixnonocaml option ()
• Request #45: fix ocamllibdir/caml/mlvalues.h bug (Cygwin)
• Fix: attempting to build numbers too large for GMP raises an OCaml exception
  instead of crashing with "gmp: overflow in mpz type"

ZArith v1.8

• Request #20: infix comparison operators for Q and Z [Max Mouratov]
• Request #39: gdc(x,0) = gcd(0,x) = x [Vincent Laporte]
• Request #41: support for upcoming OCaml 4.08 [Daniel Hillerström]
• Issue #17: add package zarith.top with REPL printer [Christophe Troestler]
• Issue #22: wrong stack marking directive in caml_z_x86_64_mingw64.S [Bernhard Schommer]
• Issue #24: generate and install .cmti files for easy access to documentation
• Issue #25: false alarm in tests/zq.ml owing to unreliable printing of FP values
• Request #28: better handling of absolute paths in "configure"

ZArith v1.7

• Issue #14, pull request #15: ARM assembly code was broken.
• Fix tests so that they work even if the legacy Num library is unavailable.

ZArith v1.6

• On Linux and BSD, keep the stack non-executable.
• Fixed spurious installation error if shared libraries not supported [Bernhard Schommer]
• Issue #10: clarify documentation of Q.of_string

ZArith v1.5

• Install all .cmx files, improving performance of clients and avoiding a warning from OCaml 4.03 and up.
• Z.of_float: fix a bug in the fast path [Richard Jones] (See https://bugzilla.redhat.com/show_bug.cgi?id=1392247)
• Improve compatibility with OCaml 4.03 and up [Bernhard Schommer]
• Overflow issue in Z.pow and Z.root with very large exponents (GPR#5) [Andre Maroneze]
• Added function Q.to_float.