Convert most interfaces in dart:core to abstract classes.

lib/core/num.dart

Index: lib/core/num.dart
diff --git a/lib/core/num.dart b/lib/core/num.dart
index 2b3e263a8be8d79aef642efba47b5cc5cfd215ba..3203b05e3bb0f83c5d5ab662e1a4861a3a42dfe7 100644
--- a/lib/core/num.dart
+++ b/lib/core/num.dart
@@ -6,39 +6,39 @@
 
 abstract class num implements Comparable, Hashable {
   // Arithmetic operations.
-  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);
+  num operator +(num other);
+  num operator -(num other);
+  num operator *(num other);
+  num operator %(num other);
+  double operator /(num other);
   // Truncating division.
-  abstract num operator ~/(num other);
+  num operator ~/(num other);
   // The unary '-' operator.
-  abstract num operator -();
-  abstract num remainder(num other);
+  num operator -();
+  num remainder(num other);
 
   // Relational operations.
-  abstract bool operator <(num other);
-  abstract bool operator <=(num other);
-  abstract bool operator >(num other);
-  abstract bool operator >=(num other);
+  bool operator <(num other);
+  bool operator <=(num other);
+  bool operator >(num other);
+  bool operator >=(num other);
 
   // Predicates.
-  abstract bool isNaN();
-  abstract bool isNegative();
-  abstract bool isInfinite();
+  bool isNaN();
+  bool isNegative();
+  bool isInfinite();
 
-  abstract num abs();
-  abstract num round();
-  abstract num floor();
-  abstract num ceil();
-  abstract num truncate();
+  num abs();
+  num round();
+  num floor();
+  num ceil();
+  num truncate();
 
-  abstract int toInt();
-  abstract double toDouble();
+  int toInt();
+  double toDouble();
 
-  abstract String toStringAsFixed(int fractionDigits);
-  abstract String toStringAsExponential(int fractionDigits);
-  abstract String toStringAsPrecision(int precision);
-  abstract String toRadixString(int radix);
+  String toStringAsFixed(int fractionDigits);
+  String toStringAsExponential(int fractionDigits);
+  String toStringAsPrecision(int precision);
+  String toRadixString(int radix);
 }