added 64 bit integer support for std::istream::operator>>