WG: AW: use gmp on microcontroller freescale coldfire

[Drößler Tobias]

  > It needs the C lib, i.e., the C standard defined lib.

Standard c libs are available and used for our application. 

  > GMP as currently released works only with 32-bit and 64-bit systems, since no program using GMP fits in 64KiB.

We have a 32 bit "system":) /CPU - and 128 KiB Flash  for execution code.
And I think I need  about 5 real operations from mpz ( add, mul,  mpz_invert, mod, compare (, set, clear)), and not the hole functionality of the lib. So if only these functions (and dependencies) linked to our execution -bin file, it should not fill more than 32 kB.