integer → gmp++ Relation

File in src/kernel/integer	Includes file in src/kernel/gmp++
givspyinteger.h	gmp++_int.h