#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;
cout << "infinity:" << -1.0/0.0 <<endl;
cout << numeric_limits<double>::has_infinity <<endl;
cout << numeric_limits<double>::traps <<endl;
return 0;
}
I2luY2x1ZGUgPGlvc3RyZWFtPgojaW5jbHVkZSA8bGltaXRzPgp1c2luZyBuYW1lc3BhY2Ugc3RkOwoKaW50IG1haW4oKSB7Cgljb3V0IDw8IChudW1lcmljX2xpbWl0czxkb3VibGU+Ojppc19pZWM1NTkgPyAiSUVFRSA3NTQgZW5jb2RpbmciOiJ1bmtub3duIGVuY29kaW5nIikgPDxlbmRsOwoJY291dCA8PCAobnVtZXJpY19saW1pdHM8ZG91YmxlPjo6aXNfYm91bmRlZCA/ICJib3VuZGVkIjoibm90IGJvdW5kZWQiKSA8PGVuZGw7IAoJY291dCA8PCAiTWF4OiAgICI8PG51bWVyaWNfbGltaXRzPGRvdWJsZT46Om1heCgpPDxlbmRsOyAKCWNvdXQgPDwgIi1NYXg6ICAiPDwtbnVtZXJpY19saW1pdHM8ZG91YmxlPjo6bWF4KCk8PGVuZGw7IAoJY291dCA8PCAiTG93ZXN0OiIgPDwgbnVtZXJpY19saW1pdHM8ZG91YmxlPjo6bG93ZXN0KCk8PGVuZGw7IAoJY291dCA8PCAgImluZmluaXR5OiIgPDwgLTEuMC8wLjAgPDxlbmRsOyAKCWNvdXQgPDwgbnVtZXJpY19saW1pdHM8ZG91YmxlPjo6aGFzX2luZmluaXR5IDw8ZW5kbDsgCgljb3V0IDw8IG51bWVyaWNfbGltaXRzPGRvdWJsZT46OnRyYXBzIDw8ZW5kbDsgCglyZXR1cm4gMDsKfQ==