Micromega_plugin.NumCompat
module type ZArith = sig ... end
module type QArith = sig ... end
module Z : ZArith
module Q : QArith with module Z = Z