It turns out that multipliedReportingOverflow(by:) can be written simply and efficiently with the overflow indicator returned by formTwosComplementSubsequence(true). I recently realized that you can use it to check if unsigned integers equal zero, and if signed integers equal their minimum representable value. [...].
From https://github.com/oscbyspro/Numberick/issues/6