Use 128 bit integers