#include <math.h>
main()
{
  double atan();

  printf("%.20f\n", 8.0 * atan(1.0));
}