let is_int a =
  try
    Dom.sub (dom_of a) Dom.Int
  with
      Not_found -> false