Extended real numbers

Summary