@@ -135,10 +135,12 @@ v-max 1+ constant v-overflow
         total-int @ v-int @ 2dup < if
             2drop true
         else
             = if
                 total-frac @ v-frac @ <
+            else
+                false
             then
         then
         if
             0 v-frac @ total-frac @ half-sub    \ frac borrow
             v-int @ total-int @ half-sub
@@ -168,10 +170,12 @@ v-max 1+ constant v-overflow
         mem-int @ total-int @ 2dup < if
             2drop true
         else
             = if
                 mem-frac @ total-frac @ <
+            else
+                false
             then
         then
         if
             0 total-frac @ mem-frac @ half-sub    \ frac borrow
             total-int @ mem-int @ half-sub