>>649
既に整数を実用的に使っている人は、この予想が正しいことを前提で
使っているだろう。予想が間違っていることを前提に計算している人は
いないと思う。