Encodes as 'r:
@override String toJson() { StringBuffer s = StringBuffer(); s..write('r:')..write(val); if (dis != null) { s..write(' ')..write(dis); } return s.toString(); }