Add some 128-bit integer tests