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 []