The 'nv' here is not always a NV, so have our own format.

(The added printing of the NV in case of frexp() mess-up caused
 -Wformat warnings.)

(One could argue for renaming the variable to be less confusing.)
POSIX math: Use 1.0 - erf(x) for erfc().

The newer method was only for x > 0.