Using GMP library with STM32F103

Thanks for the answer.
I got it working with the mini-gmp, which I think is sufficent for my needs.