/* src/4ti2/4ti2_config.h.  Generated from 4ti2_config.h.in by configure.  */
/* Define if GMP (with C++ interface) is installed */
#define _4ti2_HAVE_GMP /**/

/* Define if we can convert between _4ti2_int32_t and mpz_class */
#define _4ti2_HAVE_MPZ_INT32_CONVERSION 1

/* Define if we can convert between _4ti2_int64_t and mpz_class */
/* #undef _4ti2_HAVE_MPZ_INT64_CONVERSION */

/* Define the 32-bit integer type to use */
#define _4ti2_int32_t int32_t

/* Define the 64-bit integer type to use */
#define _4ti2_int64_t int64_t
