i64 * i * i64
