Extended real line