fix test_i32_mul_semiprecise