#include <iostream>
#include <limits>
using namespace std;
int main() {
cout << (numeric_limits<double>::is_iec559 ? "IEEE 754 encoding":"unknown encoding") <<endl;
cout << (numeric_limits<double>::is_bounded ? "bounded":"not bounded") <<endl;
cout << "Max: "<<numeric_limits<double>::max()<<endl;
cout << "-Max: "<<-numeric_limits<double>::max()<<endl;
cout << "Lowest:" << numeric_limits<double>::lowest()<<endl;
return 0;
}
I2luY2x1ZGUgPGlvc3RyZWFtPgojaW5jbHVkZSA8bGltaXRzPgp1c2luZyBuYW1lc3BhY2Ugc3RkOwoKaW50IG1haW4oKSB7Cgljb3V0IDw8IChudW1lcmljX2xpbWl0czxkb3VibGU+Ojppc19pZWM1NTkgPyAiSUVFRSA3NTQgZW5jb2RpbmciOiJ1bmtub3duIGVuY29kaW5nIikgPDxlbmRsOwoJY291dCA8PCAobnVtZXJpY19saW1pdHM8ZG91YmxlPjo6aXNfYm91bmRlZCA/ICJib3VuZGVkIjoibm90IGJvdW5kZWQiKSA8PGVuZGw7IAoJY291dCA8PCAiTWF4OiAgICI8PG51bWVyaWNfbGltaXRzPGRvdWJsZT46Om1heCgpPDxlbmRsOyAKCWNvdXQgPDwgIi1NYXg6ICAiPDwtbnVtZXJpY19saW1pdHM8ZG91YmxlPjo6bWF4KCk8PGVuZGw7IAoJY291dCA8PCAiTG93ZXN0OiIgPDwgbnVtZXJpY19saW1pdHM8ZG91YmxlPjo6bG93ZXN0KCk8PGVuZGw7IAoJcmV0dXJuIDA7Cn0=