Fix wrong logic in promotion of signed mul-with-overflow (I pointed this out at