#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;
}