Unify extension functions in CircleSolver