I should have been more specific :). I was referring to the more complicated things, such as Lucas numbers, Binomial coefficients, etc.

There isn't a full GMP binding as such. However, we do make use of more than just the simple arithmetic in GMP - for example, Prelude.gcd on Integers uses GMP's gcd, and similarly for lcm. Cheers, Simon