main () { float x; x = 1.0; do { printf("%e\n", x); x = x/2.0; } while (x > 0.0); }