Projectively extended real line