Result is indeterminate if either W or Q is NaN or if they are both infinity with the same sign.
These results can be tested using BranchR