Re: [GHC] #311: gmp's memory management