e470a5bb28
On windows, the underlying formatting implementation uses a precison of 6 when asked to do a precision of 0. Improve the post-processing so that it doesn't fully break the formatted number. The previous implementation would change "1.00000" to "10000", and 1.00000e0 to 10000e0... With this, windows has a different formatting for "%.0f" and "%.0e" but at least it's the right number |
||
|---|---|---|
| .. | ||
| authors.txt | ||
| formatting-docs.factor | ||
| formatting-tests.factor | ||
| formatting.factor | ||
| summary.txt | ||
| tags.txt | ||