>>323
入力となる浮動小数点数を文字列として書いた時点でﾜｶﾙ
52 bitでまったく表現しきれない桁数なら(1)を満たさない
そうでなく、かつ（xE+s表記で与えたとして）指数sが極端に小さくなければ（xの桁数+sが-1022以上なら）(1)を満たす