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