Widen 'widening_mul' result; Remove 'widening_mul' from 'u128' and 'i128';