main(){printf("1.0%0999d",0);}