32-to-64-bit sign extension pattern.