Use a function in MathExtras to do sign extension.