#include <iostream>
#include <locale>
#include <string>
#include <sstream>
using namespace std;
class My_punct : public std::numpunct<char> {
protected:
char do_decimal_point() const {return '.';}//comma
};
int main() {
stringstream ss("INF");
locale loc(locale(), new My_punct);
ss.imbue(loc);
double d;
ss >> d;
cout << d << endl;
return 0;
}
I2luY2x1ZGUgPGlvc3RyZWFtPgojaW5jbHVkZSA8bG9jYWxlPgojaW5jbHVkZSA8c3RyaW5nPgojaW5jbHVkZSA8c3N0cmVhbT4KdXNpbmcgbmFtZXNwYWNlIHN0ZDsKCmNsYXNzIE15X3B1bmN0IDogcHVibGljIHN0ZDo6bnVtcHVuY3Q8Y2hhcj4gewpwcm90ZWN0ZWQ6CiAgICBjaGFyIGRvX2RlY2ltYWxfcG9pbnQoKSBjb25zdCB7cmV0dXJuICcuJzt9Ly9jb21tYQp9OwppbnQgbWFpbigpIHsKCXN0cmluZ3N0cmVhbSBzcygiSU5GIik7Cglsb2NhbGUgbG9jKGxvY2FsZSgpLCBuZXcgTXlfcHVuY3QpOwoJc3MuaW1idWUobG9jKTsKCWRvdWJsZSBkOwoJc3MgPj4gZDsKCWNvdXQgPDwgZCA8PCBlbmRsOwoJcmV0dXJuIDA7Cn0=