Create num_set.h