projectively extended real number line