sstream.hpp: made sure the whole string's been successfully converted (added .eif())