BEGIN{
printf("%5.20f",4*pi3(1,12))
}
 
function pi3(n,cn)
{
if(cn>0)
{
return 4*(-1)**(n-1)/(2*n-1)/(5**(2*n-1))-(-1)**(n-1)/(2*n-1)/(239**(2*n-1))+pi3(n+1,cn-1)
}
}

3.14159265358979356009