Revert "Update RealNumber.hpp"

This reverts commit 0906b8bba4e0034cf356ca180926568559669b9d.