diff options
Diffstat (limited to 'extract-dbl.c')
-rw-r--r-- | extract-dbl.c | 2 |
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); |