Contents of peano_new/arithmetic/integers/