# Test IEEE-754 binary double format
BEGIN {
	x = 1.0e-320
	i = 0
	while (x > 0) {
		printf("%.15e\n", x)
		x /= 2

		# terminate early when the test is going to fail.
		if (++i > 50)
			break
	}
}