readDouble function
Implementation
double? readDouble(final String? s) {
if (s == null) return null;
final double? v = double.tryParse(s.trim());
if (v == null) {
throw XmlDeserializationException('Invalid double value "$s"');
}
return v;
}