projectively extended real numbers