Real Number System Definition