add NUM_OF_INT to int_compset