A dart int literal is a dart2js' int unless it will become NaN or infinity.

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

 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 part of js_backend;
 
 const JAVA_SCRIPT_CONSTANT_SYSTEM = const JavaScriptConstantSystem();
 
 class JavaScriptBitNotOperation extends BitNotOperation {
   const JavaScriptBitNotOperation();
@@ skipping 159 matching lines @@
       const JavaScriptBinaryBitOperation(const ShiftLeftOperation());
   final shiftRight = const JavaScriptShiftRightOperation();
   final subtract =
       const JavaScriptBinaryArithmeticOperation(const SubtractOperation());
   final truncatingDivide = const JavaScriptBinaryArithmeticOperation(
       const TruncatingDivideOperation());
 
   const JavaScriptConstantSystem();
 
   /**
+   * Returns true if the given [value] will turn into NaN or infinity

[karlklose, 2013/07/15 13:52:08]

'... true if [value] will...'?

[ngeoffray, 2013/07/15 13:53:38]

Done.

+   * at runtime.
+   */
+  bool integerBecomesNanOrInfinity(int value) {
+    int absValue = value.abs();

[floitsch, 2013/07/15 13:25:51]

Why do you need the absolute value? isNaN and isInfinite should work on the
negative value too.

[ngeoffray, 2013/07/15 13:49:27]

Done.

+    double doubleValue = absValue.toDouble();
+    return doubleValue.isNaN || doubleValue.isInfinite;
+  }
+
+  /**
    * Returns true if the given [value] fits into a double without losing
    * precision.
    */
   bool integerFitsIntoDouble(int value) {
     int absValue = value.abs();
     double doubleValue = absValue.toDouble();
     if (doubleValue.isNaN || doubleValue.isInfinite) return false;
     return value.toDouble().floor().toInt() == value;
   }
 
+

[karlklose, 2013/07/15 13:52:08]

Remove extra line.

[ngeoffray, 2013/07/15 13:53:38]

Done.

   NumConstant convertToJavaScriptConstant(NumConstant constant) {
     if (constant.isInt()) {
       IntConstant intConstant = constant;
       int intValue = intConstant.value;
-      if (!integerFitsIntoDouble(intValue)) {
+      if (integerBecomesNanOrInfinity(intValue)) {
         return new DoubleConstant(intValue.toDouble());
       }
+      // If the integer looses precision with JavaScript numbers, use

[karlklose, 2013/07/15 13:52:08]

'looses' -> 'loses'.

[ngeoffray, 2013/07/15 13:53:38]

Done.

+      // the floored version JavaScript will use.
+      int floorValue = intValue.toDouble().floor().toInt();
+      if (floorValue != intValue) {
+        return new IntConstant(floorValue);
+      }
     } else if (constant.isDouble()) {
       DoubleConstant doubleResult = constant;
       double doubleValue = doubleResult.value;
       if (!doubleValue.isInfinite && !doubleValue.isNaN &&
           !constant.isMinusZero()) {
         int intValue = doubleValue.truncate();
         if (intValue == doubleValue && integerFitsIntoDouble(intValue)) {
           return new IntConstant(intValue);
         }
       }
@@ skipping 23 matching lines @@
     // At runtime, an integer is both an integer and a double: the
     // integer type check is Math.floor, which will return true only
     // for real integers, and our double type check is 'typeof number'
     // which will return true for both integers and doubles.
     if (s.element == compiler.intClass && t.element == compiler.doubleClass) {
       return true;
     }
     return compiler.types.isSubtype(s, t);
   }
 }