Also add round-to-odd in case it is needed. Also change float rounding to be independent of the current rounding mode |
||
|---|---|---|
| .. | ||
| extras-docs.factor | ||
| extras-tests.factor | ||
| extras.factor | ||
Also add round-to-odd in case it is needed. Also change float rounding to be independent of the current rounding mode |
||
|---|---|---|
| .. | ||
| extras-docs.factor | ||
| extras-tests.factor | ||
| extras.factor | ||