#include <iostream>
#include <typeinfo>

int main() {
	double x = 10.0;
	
	std::cout << typeid(x < 10.0).name() << std::endl;
	
	return 0;
}