More efficient integer division by multiplication