Fix error in integer multiplicaion definition

Change-Id: Ia8691426aab35b17b58298dc1da57b1d8b591f64