News: I have started porting the GMP test suite, so that it can be run and it can check if everything is working.
I think KK will find this interesting to test the future port of GCC