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