Results of 1-bit matrix multiplications (essentially, counts of one-bits in rows) are integers, and a non-linear activation function may be applied, I think