Add isFinite getter to num.

sdk/lib/core/num.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 dart.core;
 
 /**
  * An integer or floating-point number.
  *
  * It is a compile-time error for any type other than [int] or [double]
@@ skipping 124 matching lines @@
 
   /** Relational less than or equal operator. */
   bool operator <=(num other);
 
   /** Relational greater than operator. */
   bool operator >(num other);
 
   /** Relational greater than or equal operator. */
   bool operator >=(num other);
 
+  /** Whether the number is the double Not-a-Number value. */
   bool get isNaN;
 
+  /**
+   * Whether the number is negative.
+   *
+   * Negative numbers are those less than zero, and the double `-0.0`.
+   */
   bool get isNegative;
 
+  /**
+   * Whether the number is the double positive or negative infinity.

[floitsch, 2013/10/18 11:54:59]

double reads bad here.

[Lasse Reichstein Nielsen, 2013/10/23 10:21:38]

Done.

+   */
   bool get isInfinite;
 
+  /**
+   * Whether the number is finite.
+   *
+   * The only non-finite numbers are NaN and positive or negative infinity.

[floitsch, 2013/10/18 11:54:59]

nit. I prefer:
NaN, positive infinity and negative infinity.

[Lasse Reichstein Nielsen, 2013/10/23 10:21:38]

Done.

+   */
+  bool get isFinite;
+
   /** Returns the absolute value of this [num]. */
   num abs();
 
   /**
    * Returns the integer closest to `this`.
    *
    * Rounds away from zero when there is no closest integer:
    *  [:(3.5).round() == 4:] and [:(-3.5).round() == -4:].
    *
    * If `this` is not finite (`NaN` or infinity), throws an [UnsupportedError].
@@ skipping 174 matching lines @@
    *
    * Note: the conversion may round the output if the returned string
    * is accurate enough to uniquely identify the input-number.
    * For example the most precise representation of the [double] `9e59` equals
    * `"899999999999999918767229449717619953810131273674690656206848"`, but
    * this method returns the shorter (but still uniquely identifying) `"9e59"`.
    *
    */
   String toString();
 }