回答編集履歴

  有限精度の計算機において誤差からは逃れられないので「厳密に数学的な判定」は不可能。