let all_integral_types = Hashtbl.create 5