Library Coq.ZArith.ZArith
Library for manipulating integers based on binary encoding 
Extra definitions 
Extra modules using Omega or Ring. 
Require Export Zcomplements.
Require Export Zpower.
Require Export Zdiv.
Require Export Zlogarithm.
Export ZArithRing.
