diff options
Diffstat (limited to 'libguile/numbers.c')
-rw-r--r-- | libguile/numbers.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/libguile/numbers.c b/libguile/numbers.c index 74753812b..742f4d1fe 100644 --- a/libguile/numbers.c +++ b/libguile/numbers.c @@ -45,6 +45,8 @@ # include <config.h> #endif +#include <verify.h> + #include <math.h> #include <string.h> #include <unicase.h> @@ -68,6 +70,9 @@ #include "libguile/eq.h" +/* GMP's `mpz_t' must fit into a double cell. */ +verify (sizeof (mpz_t) <= (2 * sizeof (scm_t_bits))); + /* values per glibc, if not already defined */ #ifndef M_LOG10E #define M_LOG10E 0.43429448190325182765 |