diff --git a/scheme/base.sld b/scheme/base.sld
index c4e51d32..987736e7 100644
--- a/scheme/base.sld
+++ b/scheme/base.sld
@@ -999,14 +999,14 @@
         i = obj_obj2int(num1);
       } else if (type_of(num1) == integer_tag) { 
         i = ((integer_type *)num1)->value; 
-      } else if (type_of(num1) == double_tag) { 
+      } else /* Must be double: if (type_of(num1) == double_tag)*/ { 
         i = ((double_type *)num1)->value; 
       }
       if (obj_is_int(num2)) {
         j = obj_obj2int(num2);
       } else if (type_of(num2) == integer_tag) { 
         j = ((integer_type *)num2)->value; 
-      } else if (type_of(num2) == double_tag) { 
+      } else /* Must be double: if (type_of(num2) == double_tag)*/ { 
         j = ((double_type *)num2)->value; 
       }
       {