Rename Number.cpp to RealNumber.cpp