What Is Extended Real Number System