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