Re: RFC: Upgrade filter integer size to 64-bit