Math.imul specs and implementation. Closes #69.