branch cut fixup for atanh(bfloat(x))



>
> Maxima's bigfloats don't support signed-zeroes.


1) They could be implemented.

2) They probably don't *need* to be implemented, because Maxima bigfloats
never underflow (try 2.0b0^-(2^1000) for example).

          -s