Extended real numbers

No.14162173 ViewReplyOriginalReport
In this thread we discuss the concept of extended real numbers and their properties
> topological compactification of R
>sup/inf always exist
> no need to carry around edge cases of convergence in definitions around, we can now converge to infinity
> limits of converging sequences just add together (unless one is infinity and the other negative infinity)
> "point/line at infinity"
> makes finitist seethe

are they based?