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