Update NumSet.cpp