The directory lib_integers of the library gives a definition of the integers. In it integers are represented as pairs of natural numbers where the pair (n,m) represents the integer n-m.