N[ArcCos[-1], 500] == N[Pi, 500]