int? readInt(JsonMap input, String key) { final value = input[key]; if (value == null) { return null; } if (value is num) { return value.toInt(); } return int.tryParse('$value'); }