Projectively extended real number system