diff --git a/com.ibm.wala.core/src/com/ibm/wala/ssa/SymbolTable.java b/com.ibm.wala.core/src/com/ibm/wala/ssa/SymbolTable.java
index 75d14e0f8..3303595c6 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/ssa/SymbolTable.java
+++ b/com.ibm.wala.core/src/com/ibm/wala/ssa/SymbolTable.java
@@ -302,9 +302,15 @@ public class SymbolTable {
     if (!isNumberConstant(v)) {
       throw new IllegalArgumentException("value number " + v + " is not a numeric constant.");
     }
-
     return ((Number) ((ConstantValue) values[v]).getValue()).doubleValue();
   }
+  
+  public int getIntValue(int v) throws IllegalArgumentException {
+    if (!isNumberConstant(v)) {
+      throw new IllegalArgumentException("value number " + v + " is not a numeric constant.");
+    }
+    return ((Number) ((ConstantValue) values[v]).getValue()).intValue();
+  }
 
   public Object getConstantValue(int v) throws IllegalArgumentException{
     if (!isConstant(v)) {