} else if (v instanceof BigRational) {
BigRational br = (BigRational) v;
rhs = "new Automaton.Real(\"" + br.toString() + "\")";
if (br.isInteger()) {
long lv = br.longValue();
if (BigRational.valueOf(lv).equals(br)) {
// Yes, this will fit in a long value. Therefore, inline a
// long constant as this is faster.
rhs = "new Automaton.Real(" + lv + ")";
}