Encodes an integer value for the given key or id.
@override void encodeInt(String key, int value, {int? id}) { _encodeKey(key); writer.add('$value'); }