implemented mul_integer