Algebraic methods and arithmetic filtering for exact predicates on circle arcs