Water 5-Common Data Types-Number
method number.double.is_nan
Returns true if subject is not a number
Contract
Return typewob
No input parameters.
Water Contract
<method number.double.is_nan/>

if argument is a "NaN", i.e., it is the "not a number error value" then return true.

-144.<srqt />.<is_nan />true