Extended real line

Summary