clarify why --with-gmp exists