PRECISE: efficient multiprecision evaluation of algebraic roots and predicates for reliable geometric computation