signExtend64