Go backward to Go up to TopGo forward to Integer Domain |

- 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