int main(int argc, char ** argv)
{
- while (true)
+ #if REALTYPE == REAL_IRRAM
+ iRRAM_initialize(argc,argv);
+ #endif
+ while (cin.good())
{
double da; double db;
char op;
break;
}
- cout << Double(c) << '\n';
+ //cout << Double(c) << '\n';
+ printf("%.40lf\n", Double(c));
}
}