Module Micromega.N

val of_nat : nat -> n