I would like to introduce NaN into Verilog-AMS for a couple of reasons:
It will be illegal to assign NaN to a branch, but the user can test for NaN e.g.:
if (Vout != NaN) V(out) <+ Vout;
This may help later with VPI functions that return can return NaN.