Update RealNumber.hpp according to script