Automaton.Int i = (Automaton.Int) state;
byte[] bytes = i.value.toByteArray();
output.write_uv(bytes.length);
} else if (state instanceof Automaton.Real) {
Automaton.Real r = (Automaton.Real) state;
BigRational br = r.value;
byte[] numbytes = br.numerator().toByteArray();
output.write_uv(numbytes.length);
output.write(numbytes);
byte[] denbytes = br.denominator().toByteArray();
output.write_uv(denbytes.length);
} else if (state instanceof Automaton.Strung) {
Automaton.Strung str = (Automaton.Strung) state;
try {