int pathInt(String name) { final value = int.tryParse(requirePathParameter(name)); if (value == null) throw FormatException('Expected an integer: $name'); return value; }