#include<stdio.h>
#include<stdlib.h>

int main(void){

  printf("%.15f\n", 1234.678910111213);

  return EXIT_SUCCESS;
}