Extended real number