Mutils.CamlToCoqval positive : int -> Micromega.positiveval bigint : NumCompat.Z.t -> Micromega.zval n : int -> Micromega.nval nat : int -> Micromega.natval q : NumCompat.Q.t -> Micromega.qval index : int -> Micromega.positiveval z : int -> Micromega.zval positive_big_int : NumCompat.Z.t -> Micromega.positive