Real Number System and Surds