introduce checked_div for PerThings and checked_rational_mul_correction#1936
Open
Gioyik wants to merge 4 commits intomasterfrom gio/checked_fn
+179-10
Commits
Commits on Oct 19, 2023
Commits on Jul 24, 2024
- authored
- committed
command-bot
