Revert 12494.

lib/core/num.dart

Index: lib/core/num.dart
===================================================================
--- lib/core/num.dart	(revision 12500)
+++ lib/core/num.dart	(working copy)
@@ -6,39 +6,39 @@
 
 abstract class num implements Comparable, Hashable {
   // Arithmetic operations.
-  num operator +(num other);
-  num operator -(num other);
-  num operator *(num other);
-  num operator %(num other);
-  double operator /(num other);
+  abstract num operator +(num other);
+  abstract num operator -(num other);
+  abstract num operator *(num other);
+  abstract num operator %(num other);
+  abstract double operator /(num other);
   // Truncating division.
-  num operator ~/(num other);
+  abstract num operator ~/(num other);
   // The unary '-' operator.
-  num operator -();
-  num remainder(num other);
+  abstract num operator -();
+  abstract num remainder(num other);
 
   // Relational operations.
-  bool operator <(num other);
-  bool operator <=(num other);
-  bool operator >(num other);
-  bool operator >=(num other);
+  abstract bool operator <(num other);
+  abstract bool operator <=(num other);
+  abstract bool operator >(num other);
+  abstract bool operator >=(num other);
 
   // Predicates.
-  bool isNaN();
-  bool isNegative();
-  bool isInfinite();
+  abstract bool isNaN();
+  abstract bool isNegative();
+  abstract bool isInfinite();
 
-  num abs();
-  num round();
-  num floor();
-  num ceil();
-  num truncate();
+  abstract num abs();
+  abstract num round();
+  abstract num floor();
+  abstract num ceil();
+  abstract num truncate();
 
-  int toInt();
-  double toDouble();
+  abstract int toInt();
+  abstract double toDouble();
 
-  String toStringAsFixed(int fractionDigits);
-  String toStringAsExponential(int fractionDigits);
-  String toStringAsPrecision(int precision);
-  String toRadixString(int radix);
+  abstract String toStringAsFixed(int fractionDigits);
+  abstract String toStringAsExponential(int fractionDigits);
+  abstract String toStringAsPrecision(int precision);
+  abstract String toRadixString(int radix);
 }