(j3.2006) REAL with NaN argument

[Van Snyder]

Should one expect

  double precision :: D
  D = IEEE_Value(1.0e0,IEEE_Signaling_NaN)

to produce a double-precision signaling NaN?

7.2.1.2, 7.2.1.3 (in particular, tables 7.8 and 7.9), and 13.7.138,
don't mention IEEE exceptional values.  Should they?