[Numpy-discussion] Efficiently represent 128-bit integers