訂正。
この場合は条件自体がすべて整数だから、実数でも問題はない。
つまり、(精度が間に合う範囲であれば)整数同士の加算を実数で行なっても誤差は出ない。
具体的には、800万辺りまでは問題がない。