int main()
{
  float foo = 1.2345;
  printf("%f\n", M_PI * foo);
}