Changes to integer-gmp

Changes to integer-gmp:
commit 753bb061971b06c2560a9f2a55a1fbed76efb7bc
Author: Gabor Greif <ggreif@gmail.com>
Date:   Sat Feb 1 21:16:55 2014 +0100

    Fix a popular typo

    Herbert, this is a merge candidate to the 7.8 branch