A Generic Root Operation for Exact Real Arithmetic