let int_model =
  Type.register ~name:"int_model" ~value_name:None ~pp:pp_int_model IMexact