int main(void) { double d; d=1.0; while(d>0.0) { printf("%100.80e\n",d); d = d/2.0; } return 1; }