I don't know how the precision could be computed.

I'm not sure how to (directly) apply the root isolation algorithm here. At this point, we test which of the given ```factors``` has the (given) root ```v```.