Difference between revisions of "Extended real values"