void main(){
  double d = 1 + 1 / 3;
  printf("%lf\n", d);
}