idf is real number