fixed lowering of signed 32x32=64 multiplication