Edited RealNumber Class