Extended real numbers
Redirect to:
Extended real number line