Define Real Number System