Vladimir_Nesov comments on Rational = true?