Update RealNumber.hpp