add testcase for i32 mul coercion