i32 * i / i32
