verify imul correctness, workaround for webkit bug 126345; closes #1991