Fix PR13991: legalizing an overflowing multiplication operation is harder than