forループのイテレータの型についての質問

Question

先日行われたAtcoder ABC 193 のC問題の解説において納得できない点があります

問題

整数 Nが与えられます。1以上N以下の整数のうち、2以上の整数a,bを用いてa^bと表せないものはいくつあるでしょうか？
制約
Nは整数, N < 10^10

解説

#include <iostream>
#include <unordered_set>
using namespace std;
using ll = int64_t;
int main(){
    ll N;
    cin >> N;
    unordered_set<ll> s;
    for(ll a = 2; a * a <= N; a++){
        ll x = a * a;
        while(x <= N){
            s.insert(x);
            x *= a;
        }
    }
    cout << N - s.size() << endl;
}

この回答においてaがll型である必要性がわからないです。
たしかにこれをintにするとTLEとなって正常なループが行われてないことは推測できるのですが、
たかだか10^5程度である(?)aがなぜll型になるのでしょうか。

回答お願いいたします

Answer 1

普通、高級言語では演算結果の型は演算対象に等しいです。
a*aがintで扱われオーバーフローします。

Comments

[renge]

あ、そういうことなんですね。理解しました。ありがとうございました！