Re: [GHC] #601: Replace GMP