ZArith functor #20
Description
ZArith is the de-factor library for numerical computation in the OCaml ecosystem nowadays. It would be nice to provide the Rat module from the tests (see #19) as a functor so that users have a direct way of implementing the Rationals interface using ZArith's Q.