projectively extended real line - dofaq.co