Yes, there might be something in what you say that supports having NaNs evaluate as "true" in the boolean sense - but I don't think there's any compelling argument there (and I'm a bit suspicious of the way you move about between the real and complex fields :-)

I personally don't have an issue with sqrt(-1) being "false" in the real field && "true" in the complex field.

Cheers,
Rob