Make int a double in argument type checks.

sdk/lib/_internal/compiler/implementation/js_backend/emitter.dart

Index: sdk/lib/_internal/compiler/implementation/js_backend/emitter.dart
diff --git a/sdk/lib/_internal/compiler/implementation/js_backend/emitter.dart b/sdk/lib/_internal/compiler/implementation/js_backend/emitter.dart
index e269d412c28be90bd37541a34703a3517c8164bc..aafcd7d20b040b681905d05a93b46ad5a81daef9 100644
--- a/sdk/lib/_internal/compiler/implementation/js_backend/emitter.dart
+++ b/sdk/lib/_internal/compiler/implementation/js_backend/emitter.dart
@@ -1254,7 +1254,6 @@ class CodeEmitterTask extends CompilerTask {
       String holder = namer.isolateAccess(backend.getImplementationClass(cls));
       for (TypeCheck check in typeChecks[cls]) {
         ClassElement cls = check.cls;
-        buffer.write('$holder.${namer.operatorIs(check.cls)}$_=${_}true$N');
         buffer.write('$holder.${namer.operatorIs(cls)}$_=${_}true$N');
         Substitution substitution = check.substitution;
         if (substitution != null) {
@@ -1616,6 +1615,9 @@ class CodeEmitterTask extends CompilerTask {
       emitSubstitution(cls);
     }
 
+    if (cls == backend.jsIntClass) {

[ngeoffray, 2013/05/24 09:34:28]

I'd prefer if that was put on the interceptor class instead (JSInt implements
double), and add a comment there.

[karlklose, 2013/05/24 11:10:50]

Done.

+      emitIsTest(compiler.doubleClass);
+    }
     RuntimeTypes rti = backend.rti;
     ClassElement superclass = cls.superclass;