gh-122450: Indicate that Fraction denominators are always positive
#84797
| Job | Run time |
|---|---|
| 32s | |
| 32s |
Fraction denominators are always positive
#84797
| Job | Run time |
|---|---|
| 32s | |
| 32s |