Scala: int set