--- a/graal/com.oracle.truffle.sl/src/com/oracle/truffle/sl/SLTypes.java	Fri Oct 11 20:05:55 2013 +0200
+++ b/graal/com.oracle.truffle.sl/src/com/oracle/truffle/sl/SLTypes.java	Fri Oct 11 20:06:33 2013 +0200
@@ -46,32 +46,9 @@
         }
     }
 
-    @TypeCheck
-    public boolean isBigInteger(Object value) {
-        return value instanceof Integer || value instanceof BigInteger;
-    }
-
-    @TypeCast
-    public BigInteger asBigInteger(Object value) {
-        if (value instanceof Integer) {
-            return BigInteger.valueOf((int) value);
-        } else {
-            return (BigInteger) value;
-        }
+    @ImplicitCast
+    public BigInteger castBigInteger(int integer) {
+        return BigInteger.valueOf(integer);
     }
 
-    @TypeCast
-    public BigInteger asBigInteger(int value) {
-        return BigInteger.valueOf(value);
-    }
-
-    @TypeCheck
-    public boolean isBigInteger(@SuppressWarnings("unused") int value) {
-        return true;
-    }
-
-    @ImplicitCast
-    public BigInteger castBigInteger(int value) {
-        return BigInteger.valueOf(value);
-    }
 }