>>389
doubleはIEEE754という規格に従っていて
IEEE754では仮数部からビットが溢れなければ誤差はない
IEEE754の仮数部のビット数は53

なので結果が
2^53 = 9007199254740992
を超えなればおk