Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Doc: add concrete decimal numbers to min/max #1728

Closed
wants to merge 1 commit into from

Conversation

Tienisto
Copy link

@Tienisto Tienisto commented Feb 4, 2025

We cannot expect people to know the exact number by heart.

Adds the concrete decimal number to improve usefulness.

@rustbot rustbot added the S-waiting-on-review Status: The marked PR is awaiting review from a maintainer label Feb 4, 2025
@Tienisto Tienisto changed the title Update numeric.md Doc: add concrete decimal numbers to min/max Feb 4, 2025
@traviscross
Copy link
Contributor

Thanks for the PR. We certainly see what you mean. At the same time, we're not sure it really carries its weight in this case, and in particular, in all the other cases we might do this if we were to go down this road. So we're going to close this.

@traviscross traviscross closed this Feb 4, 2025
@Tienisto Tienisto deleted the patch-1 branch February 5, 2025 15:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-review Status: The marked PR is awaiting review from a maintainer
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants