Encodes a nullable integer value.
@override void encodeIntOrNull(int? value) { if (value == null) return; writer.add('$value'); }