[Zope] Integer on portal_catalog.searchResults