Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
The standard *does* specify that round-half-to-even is supposed to be the default, but no-one cares in practice
- Loading branch information