gh-122450: Indicate that Fraction denominators are always positive
#190585
| Job | Run time |
|---|---|
| 5s | |
| 3s | |
| 8s |
Fraction denominators are always positive
#190585
| Job | Run time |
|---|---|
| 5s | |
| 3s | |
| 8s |