Re: Confusion about GHC and GMP