Reads a JSON number as a double.
double
double? doubleFromJsonOrNull(Object? json) => json is num ? json.toDouble() : null;