227228229230231232233234235
return "ratio"; } @Override public Object rep(Object o) { Ratio r = (Ratio)o; BigInteger[] l = {r.getNumerator(), r.getDenominator()}; return TransitFactory.taggedValue("array", l); }