string str = to_string(precision, width, expn_width,
fmt, showpos, uppercase, fill);
return (s << str) != 0;
return (!(s << str).fail());
}
