#include <stdio.h>

int main(){
  int n,i=100000000,j;
  scanf("%d",&n);
  n*=6283182;
  while(1){
    if(n/i!=0) break;
    i/=10;
  }
  while(i>=1000000){
    printf("%d",n/i);
    n%=i;
    i/=10;
  }
  printf(".");
  while(i>=1000){
    printf("%d",n/i);
    n%=i;
    i/=10;
  }
  return(0);
}