My point went only to Gunter's assertion about multiplication details in C, not the OP's bug report. As can be seen in [Richard's fix](https://www.sqlite.org/src/info/f4a552ed9f4ab355), he thinks a fix is necessary. I had gotten only to determining the limits of each operand's value<sup>a</sup> before I saw his determination that an overflow needed to be avoided. ---- a. Whether an overflow was possible or not depends on the actual maximum operand values rather than just their types. So a deeper code analysis was required than what was evident in the OP's statements.