Direct Definition of Integer Numbers
- Integer as a tuple <x, y>.
- Difference between x and y denotes desired value.
- For unique definition, x or y is chosen 0.
- Constructor fuction I to build well-formed integers.
More elegant: integer as class of all
<x, y> with same difference.
Author: Wolfgang Schreiner
Last Modification: January 12, 2000