Update NumSet.h