Projectively extended real number line