Projectively extended real numbers