factory RenderSize.fromJson(Map<String, Object?> json) => RenderSize( (json['width']! as num).toDouble(), (json['height']! as num).toDouble(), );