sig
  val int_of_coqint : Constr.constr -> int
  val int_to_coqint : int -> Constr.constr
  val int_of_coqi63 : Constr.constr -> int
  val int_to_coqi63 : int -> Constr.constr
  val coqi63_t : Constr.constr
end