#include <stdio.h>
static const char* format = "%7.0e";
int main() {
double a[] = {1, -0.60937, 0.60937, 0.009371, -0.009371,
-1, -1.2e8, 1e-4, 1e-5, -1.5e-321, 0/.0, 1/0.};
for (unsigned i = 0; i < sizeof(a) / sizeof(*a); ++i) {
printf(format, a[i]);
puts("");
if (snprintf(0,0, format, a[i]) != 7)
return 1;
}
}
I2luY2x1ZGUgPHN0ZGlvLmg+CgpzdGF0aWMgY29uc3QgY2hhciogZm9ybWF0ID0gIiU3LjBlIjsKCmludCBtYWluKCkgewogIGRvdWJsZSBhW10gPSB7MSwgLTAuNjA5MzcsIDAuNjA5MzcsIDAuMDA5MzcxLCAtMC4wMDkzNzEsCgkJLTEsIC0xLjJlOCwgMWUtNCwgMWUtNSwgLTEuNWUtMzIxLCAwLy4wLCAxLzAufTsKICBmb3IgKHVuc2lnbmVkIGkgPSAwOyBpIDwgc2l6ZW9mKGEpIC8gc2l6ZW9mKCphKTsgKytpKSB7CiAgICBwcmludGYoZm9ybWF0LCBhW2ldKTsKICAgIHB1dHMoIiIpOwogICAgaWYgKHNucHJpbnRmKDAsMCwgZm9ybWF0LCBhW2ldKSAhPSA3KQogICAgICByZXR1cm4gMTsKICB9Cn0K