Exposing native doubles as doubles when they are read-only or method return values.

sdk/lib/svg/dart2js/svg_dart2js.dart

 library dart.dom.svg;
 
 import 'dart:async';
 import 'dart:collection';
 import 'dart:_collection-dev' hide deprecated;
 import 'dart:html';
 import 'dart:html_common';
 import 'dart:_js_helper' show Creates, Returns, JavaScriptIndexingBehavior, JSName;
 import 'dart:_foreign_helper' show JS;
 import 'dart:_interceptors' show Interceptor;
@@ skipping 408 matching lines @@
 // BSD-style license that can be found in the LICENSE file.
 
 
 @DocsEditable()
 @DomName('SVGAnimatedNumber')
 @Unstable()
 class AnimatedNumber extends Interceptor native "SVGAnimatedNumber" {
 
   @DomName('SVGAnimatedNumber.animVal')
   @DocsEditable()
-  final num animVal;
+  final double animVal;
 
   @DomName('SVGAnimatedNumber.baseVal')
   @DocsEditable()
   num baseVal;
 }
 // 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.
 
 
@@ skipping 97 matching lines @@
   @DomName('SVGAnimationElement.SVGAnimationElement')
   @DocsEditable()
   factory AnimationElement() => _SvgElementFactoryProvider.createSvgElement_tag("animation");
 
   @DomName('SVGAnimationElement.targetElement')
   @DocsEditable()
   final SvgElement targetElement;
 
   @DomName('SVGAnimationElement.getCurrentTime')
   @DocsEditable()
-  num getCurrentTime() native;
+  double getCurrentTime() native;
 
   @DomName('SVGAnimationElement.getSimpleDuration')
   @DocsEditable()
-  num getSimpleDuration() native;
+  double getSimpleDuration() native;
 
   @DomName('SVGAnimationElement.getStartTime')
   @DocsEditable()
-  num getStartTime() native;
+  double getStartTime() native;
 
   // From ElementTimeControl
 
   @DomName('SVGAnimationElement.beginElement')
   @DocsEditable()
   void beginElement() native;
 
   @DomName('SVGAnimationElement.beginElementAt')
   @DocsEditable()
   void beginElementAt(num offset) native;
@@ skipping 3411 matching lines @@
   @DomName('SVGPathElement.getPathSegAtLength')
   @DocsEditable()
   int getPathSegAtLength(num distance) native;
 
   @DomName('SVGPathElement.getPointAtLength')
   @DocsEditable()
   Point getPointAtLength(num distance) native;
 
   @DomName('SVGPathElement.getTotalLength')
   @DocsEditable()
-  num getTotalLength() native;
+  double getTotalLength() native;
 
   // From SVGExternalResourcesRequired
 
   @DomName('SVGPathElement.externalResourcesRequired')
   @DocsEditable()
   final AnimatedBoolean externalResourcesRequired;
 
   // From SVGLangSpace
 
   @DomName('SVGPathElement.xmllang')
@@ skipping 1742 matching lines @@
   @DomName('SVGSVGElement.currentView')
   @DocsEditable()
   final ViewSpec currentView;
 
   @DomName('SVGSVGElement.height')
   @DocsEditable()
   final AnimatedLength height;
 
   @DomName('SVGSVGElement.pixelUnitToMillimeterX')
   @DocsEditable()
-  final num pixelUnitToMillimeterX;
+  final double pixelUnitToMillimeterX;
 
   @DomName('SVGSVGElement.pixelUnitToMillimeterY')
   @DocsEditable()
-  final num pixelUnitToMillimeterY;
+  final double pixelUnitToMillimeterY;
 
   @DomName('SVGSVGElement.screenPixelToMillimeterX')
   @DocsEditable()
-  final num screenPixelToMillimeterX;
+  final double screenPixelToMillimeterX;
 
   @DomName('SVGSVGElement.screenPixelToMillimeterY')
   @DocsEditable()
-  final num screenPixelToMillimeterY;
+  final double screenPixelToMillimeterY;
 
   @DomName('SVGSVGElement.useCurrentView')
   @DocsEditable()
   final bool useCurrentView;
 
   @DomName('SVGSVGElement.viewport')
   @DocsEditable()
   final Rect viewport;
 
   @DomName('SVGSVGElement.width')
@@ skipping 63 matching lines @@
   @DomName('SVGSVGElement.deselectAll')
   @DocsEditable()
   void deselectAll() native;
 
   @DomName('SVGSVGElement.forceRedraw')
   @DocsEditable()
   void forceRedraw() native;
 
   @DomName('SVGSVGElement.getCurrentTime')
   @DocsEditable()
-  num getCurrentTime() native;
+  double getCurrentTime() native;
 
   @DomName('SVGSVGElement.getElementById')
   @DocsEditable()
   Element getElementById(String elementId) native;
 
   @DomName('SVGSVGElement.getEnclosureList')
   @DocsEditable()
   @Returns('NodeList')
   @Creates('NodeList')
   List<Node> getEnclosureList(Rect rect, SvgElement referenceElement) native;
@@ skipping 304 matching lines @@
   @DomName('SVGTextContentElement.textLength')
   @DocsEditable()
   final AnimatedLength textLength;
 
   @DomName('SVGTextContentElement.getCharNumAtPosition')
   @DocsEditable()
   int getCharNumAtPosition(Point point) native;
 
   @DomName('SVGTextContentElement.getComputedTextLength')
   @DocsEditable()
-  num getComputedTextLength() native;
+  double getComputedTextLength() native;
 
   @DomName('SVGTextContentElement.getEndPositionOfChar')
   @DocsEditable()
   Point getEndPositionOfChar(int offset) native;
 
   @DomName('SVGTextContentElement.getExtentOfChar')
   @DocsEditable()
   Rect getExtentOfChar(int offset) native;
 
   @DomName('SVGTextContentElement.getNumberOfChars')
   @DocsEditable()
   int getNumberOfChars() native;
 
   @DomName('SVGTextContentElement.getRotationOfChar')
   @DocsEditable()
-  num getRotationOfChar(int offset) native;
+  double getRotationOfChar(int offset) native;
 
   @DomName('SVGTextContentElement.getStartPositionOfChar')
   @DocsEditable()
   Point getStartPositionOfChar(int offset) native;
 
   @DomName('SVGTextContentElement.getSubStringLength')
   @DocsEditable()
-  num getSubStringLength(int offset, int length) native;
+  double getSubStringLength(int offset, int length) native;
 
   @DomName('SVGTextContentElement.selectSubString')
   @DocsEditable()
   void selectSubString(int offset, int length) native;
 
   // From SVGExternalResourcesRequired
 
   @DomName('SVGTextContentElement.externalResourcesRequired')
   @DocsEditable()
   final AnimatedBoolean externalResourcesRequired;
@@ skipping 221 matching lines @@
   @DomName('SVGTransform.SVG_TRANSFORM_TRANSLATE')
   @DocsEditable()
   static const int SVG_TRANSFORM_TRANSLATE = 2;
 
   @DomName('SVGTransform.SVG_TRANSFORM_UNKNOWN')
   @DocsEditable()
   static const int SVG_TRANSFORM_UNKNOWN = 0;
 
   @DomName('SVGTransform.angle')
   @DocsEditable()
-  final num angle;
+  final double angle;
 
   @DomName('SVGTransform.matrix')
   @DocsEditable()
   final Matrix matrix;
 
   @DomName('SVGTransform.type')
   @DocsEditable()
   final int type;
 
   @DomName('SVGTransform.setMatrix')
@@ skipping 415 matching lines @@
 
 @DocsEditable()
 @DomName('SVGZoomEvent')
 @Unstable()
 class ZoomEvent extends UIEvent native "SVGZoomEvent" {
   // To suppress missing implicit constructor warnings.
   factory ZoomEvent._() { throw new UnsupportedError("Not supported"); }
 
   @DomName('SVGZoomEvent.newScale')
   @DocsEditable()
-  final num newScale;
+  final double newScale;
 
   @DomName('SVGZoomEvent.newTranslate')
   @DocsEditable()
   final Point newTranslate;
 
   @DomName('SVGZoomEvent.previousScale')
   @DocsEditable()
-  final num previousScale;
+  final double previousScale;
 
   @DomName('SVGZoomEvent.previousTranslate')
   @DocsEditable()
   final Point previousTranslate;
 
   @DomName('SVGZoomEvent.zoomRectScreen')
   @DocsEditable()
   final Rect zoomRectScreen;
 }
 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
@@ skipping 398 matching lines @@
 @DomName('SVGVKernElement')
 @Unstable()
 abstract class _SVGVKernElement extends SvgElement native "SVGVKernElement" {
   // To suppress missing implicit constructor warnings.
   factory _SVGVKernElement._() { throw new UnsupportedError("Not supported"); }
 
   @DomName('SVGVKernElement.SVGVKernElement')
   @DocsEditable()
   factory _SVGVKernElement() => _SvgElementFactoryProvider.createSvgElement_tag("vkern");
 }