file.hpp: modify save/readNum