Extended real numbers