i32 / i64 * i
