int getInt(String name, {int? defaults}) { final result = getIntOrNull(name, defaults: defaults); if (result == null) { throw ParsingException(name, null, 'Missing required int field'); } return result; }