[Merged by Bors] - feat(Rat): (q₁ + q₂).den ∣ q₁.den.lcm q₂.den

[Merged by Bors] - feat(Rat): (q₁ + q₂).den ∣ q₁.den.lcm q₂.den #71894