main(){printf("%.14e",0x1p-54);}