Rename RealNumber.hpp to RealNumber.cpp