SDK fixes

tool/input_sdk/private/js_number.dart

Index: tool/input_sdk/private/js_number.dart
diff --git a/tool/input_sdk/private/js_number.dart b/tool/input_sdk/private/js_number.dart
index 1b8a137b85f0c3bf90b3b40d5339da5ca0c24ac2..aac12e28baa1a61ea8c96b49267e7f2e5cb5e565 100644
--- a/tool/input_sdk/private/js_number.dart
+++ b/tool/input_sdk/private/js_number.dart
@@ -94,7 +94,7 @@ class JSNumber extends Interceptor implements num {
 
   double truncateToDouble() => this < 0 ? ceilToDouble() : floorToDouble();
 
-  num clamp(lowerLimit, upperLimit) {
+  num clamp(num lowerLimit, num upperLimit) {
     if (lowerLimit is! num) throw new ArgumentError(lowerLimit);
     if (upperLimit is! num) throw new ArgumentError(upperLimit);
     if (lowerLimit.compareTo(upperLimit) > 0) {
@@ -198,9 +198,9 @@ class JSNumber extends Interceptor implements num {
     return JS('num', '# - #', this, other);
   }
 
-  num operator /(num other) {
+  double operator /(num other) {
     if (other is !num) throw new ArgumentError(other);
-    return JS('num', '# / #', this, other);
+    return JS('double', '# / #', this, other);
   }
 
   num operator *(num other) {