Hacker News new | ask | show | jobs
by prionassembly 1936 days ago
Ehh.

https://en.wikipedia.org/wiki/Extended_real_number_line

NB this is hardly nonstandard analysis.