Lean.Data.Rat
source
Rational numbers for implementing decision procedures. We should not confuse them with the Mathlib rational numbers.