[Daniel Lemire's blog]Apple’s M1 processor and the full 128-bit integer product