で、GMPは整数といいながらビット演算できないのね。どうやら配列で巨大な整数の値を保持しているらしい。ちょっと探してみたら、ビット演算できる巨大整数型を提供してくれるライブラリには NTL があるらしい。