1. 2014-05-30 [2] Searching for Embedded C library to operate bodrato at 2. 2014-05-28 [1] Something appears to be wrong with the main =?utf-8?Q?T 3. 2014-05-27 [4] GMP compilation issue =?utf-8?Q?T 4. 2014-05-22 [4] mpz_get_d() with rounding =?utf-8?Q?T