float64_is_nan
if (float64_is_nan(a) | float64_is_nan(b)) {
aIsNaN = float64_is_nan( a );
bIsNaN = float64_is_nan( b );