Extended real number

Summary