Update CompleteValue() to not return early for NaN

Author: leebyron

spec/Section 3 -- Type System.md

@@ -451,7 +451,7 @@ encoding integer numbers larger than 32-bit.
 ### Float
 
 The Float scalar type represents signed double-precision finite (i.e., not {NaN}
-or {Infinity}) fractional values as specified by 
+or {Infinity}) fractional values as specified by
 [IEEE 754](https://en.wikipedia.org/wiki/IEEE_floating_point). Response formats
 that support an appropriate double-precision number type should use that type to
 represent this scalar.
@@ -466,14 +466,17 @@ reasonable without losing information, otherwise they must raise a field error.
 Examples of this may include returning `1.0` for the integer number `1`, or
 `123.0` for the string `"123"`.
 
+Non-finite floating-point internal values ({NaN} and {Infinity}) cannot be
+coerced to {Float} and must raise a field error.
+
 **Input Coercion**
 
 When expected as an input type, both integer and float input values are
 accepted. Integer input values are coerced to Float by adding an empty
 fractional part, for example `1.0` for the integer input value `1`. All
 other input values, including strings with numeric content, must raise a query
 error indicating an incorrect type. If the integer input value represents a
-value not representable by IEEE 754, a query error should be raised.
+value not representable by finite IEEE 754, a query error should be raised.
 
 
 ### String

spec/Section 6 -- Execution.md

@@ -648,7 +648,7 @@ CompleteValue(fieldType, fields, result, variableValues):
     * If {completedResult} is {null}, throw a field error.
     * Return {completedResult}.
   * If {result} is {null} (or another internal value similar to {null} such as
-    {undefined} or {NaN}), return {null}.
+    {undefined}), return {null}.
   * If {fieldType} is a List type:
     * If {result} is not a collection of values, throw a field error.
     * Let {innerType} be the inner type of {fieldType}.
@@ -657,7 +657,7 @@ CompleteValue(fieldType, fields, result, variableValues):
       {resultItem} is each item in {result}.
   * If {fieldType} is a Scalar or Enum type:
     * Return the result of "coercing" {result}, ensuring it is a legal value of
-      {fieldType}, otherwise {null}.
+      {fieldType}, otherwise throw a field error.
   * If {fieldType} is an Object, Interface, or Union type:
     * If {fieldType} is an Object type.
       * Let {objectType} be {fieldType}.