Resolve "[Complexity] Optimize imult1616()"

Closes #1112 (closed).

This is a bit-exact optimization of imult1616() - it replaces two operations by a single i_mult().

Original code provided by @tritthart .