Perhaps we should add a simple one-level version to mini-gmp? #define GMP_MINI_VERSION 17 It does not need to be bumped with GMP release if mini-gmp did not change. Perhaps it should be bumped at each checkin? Torbjörn Please encrypt, key id 0xC8601622