Added mod_mul.