diff --git a/vvp/vthread.cc b/vvp/vthread.cc
index a6042f652..78980de0e 100644
--- a/vvp/vthread.cc
+++ b/vvp/vthread.cc
@@ -2034,7 +2034,7 @@ static unsigned long divide2words(unsigned long a, unsigned long b,
 	    remain += 1;
 	    if (remain >= b) {
 		  remain -= b;
-		  result += 1;
+		  tmp_result += 1;
 	    }
 
 	      // Now 0x1_0...0 = b*tmp_result + remain
@@ -2050,7 +2050,9 @@ static unsigned long divide2words(unsigned long a, unsigned long b,
 
 	      // The new iteration starts with high*remain + a.
 	    remain = multiply_with_carry(high, remain, high);
-	    a = add_with_carry(a, remain, high);
+	    a += remain;
+            if(a < remain)
+              high += 1;
 
 	      // Now result*b + {high,a} == the input {high,a}. It is
 	      // possible that the new high >= 1. If so, it will