Library Coq.Numbers.Natural.BigN.NMake
From a cyclic Z/nZ representation to arbitrary precision natural numbers.
NB: This file contain the part which is independent from the underlying
representation. The representation-dependent (and macro-generated) part
is now in NMake_gen.
Macro-generated part