Skip to content

make round be round-ties-even, miscellaneous changes to the rounding procedures#530

Merged
mattwparas merged 8 commits into
mattwparas:masterfrom
m4rch3n1ng:round-ties-even
Sep 25, 2025
Merged

make round be round-ties-even, miscellaneous changes to the rounding procedures#530
mattwparas merged 8 commits into
mattwparas:masterfrom
m4rch3n1ng:round-ties-even

Conversation

@m4rch3n1ng
Copy link
Copy Markdown
Contributor

the scheme spec states, that "[t]he round procedure rounds to even". num-rational does not provide a round_ties_even, so i implemented it myself (and submitted a pr upstream: rust-num/num-rational#141, though i do not know if or when that will be merged, as num-rational has not had a commit in over a year).

the rest of the changes are largely tests, docs and minor adjustments, that should be relatively clear just from the commit messages.

previously the (floor) and (ceiling) docs were worded very differently,
so align them to better match eachother. additionally reword the error
message for (floor) to also align them with the rest of the rounding
procedures.
@mattwparas mattwparas merged commit 27532d8 into mattwparas:master Sep 25, 2025
12 of 13 checks passed
@m4rch3n1ng m4rch3n1ng deleted the round-ties-even branch September 25, 2025 10:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants