Файл библиотеки называется gmp-4.1.4.tar.gz. sizeof там понятно работать не будет. Это довольно сложная и универсальная библиотека. Компилится GNU компиляторами. Время на освоение по моим прикидкам около недели, еще столько же на портирование на свою платформу. Вообщем не идеальное решение.