I see. This probably means that Integer(Rational) is a Liskov violation, but I won't fret about it.