module Int = Funarith_zarith__.Int_zarith
module Rat = Funarith_zarith__.Rat_zarith
module Prime = Funarith_zarith__.Prime_zarith
module Diophantine = Funarith_zarith__.Diophantine_zarith
module Simplex = Funarith_zarith__.Simplex_zarith