added RealNumber number extension and tests