| <<< String stream and floating-point precision | Index | Output field width, cont. >>> |
A width is the number of characters to be used for the next output operation
Beware: output is never truncated to fit into field (assuming better a bad format than a bad value)
| <<< String stream and floating-point precision | Index | Output field width, cont. >>> |