int? intInput(String key) { final v = input(key); if (v == null) return null; return int.tryParse(v.toString()); }