title: Example for Coq Cyclic Module usage
body: <p>I want to model 32 bit integer arithmetic in Coq. I think that the Cyclic Module would be best suited for this. But I have some difficulties to figure out how to use that module. Could you please provide me some examples which show how to use it? Examples for the other number modules like Integer, Natural or Rational would also very helpful.</p>