1 files changed, 2 insertions, 0 deletions
diff --git a/extract-dbl.c b/extract-dbl.c
index 1a3729bc0..983b56ef7 100644
--- a/extract-dbl.c
+++ b/extract-dbl.c
@@ -55,6 +55,8 @@ __gmp_extract_double (mp_ptr rp, double d)
      4. This lits is incomplete and misspelled.
    */
 
+  ASSERT (d >= 0.0);
+
   if (d == 0.0)
     {
       MPN_ZERO (rp, LIMBS_PER_DOUBLE);