Projectively extended real numbers
Redirect to:
Projectively extended real line