Dear Simon, > We can already test for use of mini-gmp via __MINI_GMP_H__ (defined by > both mini-gmp.h and mini-gmp.c) but there's no version number available. this issue was already reported in 2017: https://gmplib.org/list-archives/gmp-devel/2017-December/004682.html Best regards, Paul