I will keep the inexact raising up-front (mostly because I forgot how I did it earlier). I will still use atanh(fl), and rely on someone else to fix it. (If it is inexact near 0, it is only a few ULP, and that is good enough for me.) I'll go ahead and see about the pio2h and pio2l.