let integral_types () =
  if Jessie_options.IntModel.get_val () = Jessie_options.IMexact then
    []
  else
    Hashtbl.fold
      (fun name (ty,bitsize) acc -> integral_type name ty bitsize :: acc)
      all_integral_types []