use FreeSpec for ApproximationSpec
add Approximation for Circle
add triangle circumcircle calculation