Re: [GHC] #4374: Remove in-tree gmp