has->contains for intsets