Definition:Rational Number/Historical Note