set< double >