public interface RatIF extends RatRepIF {
    RatIF add(RatRepIF y);
    // would also have sub, mul, ...
    boolean equals(Object y);
    String toString();
}