sig
  type t = Z.t
  val gen : ?g:g -> t -> t
  val gen_r : ?g:g -> t -> t -> t
  val gen_bits : ?g:g -> ?msb:int -> int -> t
end