projectively extended real number system