i64 / i32 * i
