Delete number.hpp~