64-bit to 128-bit