Extended real number

From Free net encyclopedia