inline bool is_num(const string & s) { return find_if( s.begin(), s.end(), not1(ptr_fun(isdigit)) ) == s.end(); }