Alternatively you could just check `#ifdef MIN_VERSION_integer-gmp` (or is that `integer_gmp`) in the code.