requireDouble method
Required number as double; an int is widened. Records an error and returns null when the value is absent or not a number. Audited: 2026-06-12 11:26 EDT
Implementation
double? requireDouble(String key) {
final Object? v = _map[key];
if (v is num) return v.toDouble();
_typeError(key, v, 'double');
return null;
}