LOCAL: use Integer for Encounter.catalogNumber