int? jsonInt(Map<String, dynamic> json, String key) { final v = jsonLookup(json, key); if (v is int) return v; if (v is num) return v.toInt(); if (v is String) return int.tryParse(v.trim()); return null; }