Upper-extended real line

Redirect to:

• Extended real number line