extended real line