This fixes a bug in the extension of integers in which a multiplication with a large integer might overflow and needs to happen within i32.
