Merge branch 'master' into feature/api-mpfr

1 files changed, 7 insertions, 2 deletions

diff --git a/mpfr.c b/mpfr.c
index ea1d5a5b..f02c27b4 100644
--- a/mpfr.c
+++ b/mpfr.c
@@ -1212,7 +1212,9 @@ do_mpfr_intdiv(int nargs)
 	} else {
 		if (! mpfr_number_p(numerator->mpg_numbr)) {
 			/* [+-]inf or NaN */
-			return numerator;
+			unref(numerator);
+			unref(denominator);
+			return make_number((AWKNUM) -1);
 		}
 
 		num = mpg_integer();
@@ -1225,7 +1227,10 @@ do_mpfr_intdiv(int nargs)
 	} else {
 		if (! mpfr_number_p(denominator->mpg_numbr)) {
 			/* [+-]inf or NaN */
-			return denominator;
+			unref(numerator);
+			unref(denominator);
+			unref(num);
+			return make_number((AWKNUM) -1);
 		}
 
 		denom = mpg_integer();