Skip to content

Conversation

@whitneywhtsang
Copy link
Contributor

Note that they are not official interfaces.

Fixes #5419

@whitneywhtsang whitneywhtsang self-assigned this Nov 4, 2025
@etiotto etiotto merged commit 04fcbe5 into main Nov 5, 2025
36 of 38 checks passed
@etiotto etiotto deleted the whitneywhtsang/wi5419 branch November 5, 2025 17:12
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.

Use precise divide and sqrt builtin

4 participants