-- below doesn't work. The Word32 type is unsigned, so we do the
-- math on that and then convert everything back to Int later on
-- once we have four much-smaller non-negative numbers.
-- below doesn't work. The Word32 type is unsigned, so we do the
-- math on that and then convert everything back to Int later on
-- once we have four much-smaller non-negative numbers.