New integer type for core filters, + implementations.