let is_real x =
  try dom_of x = Dom.Real with Not_found -> false