Add int128_t P2(x, a)