Rename RealNumber.hpp to Number.hpp