Difference between revisions of "Extended real valued"