HsIntegerGmp.h.in