上優先 ■A、Bにnanが含まれる ■A>B ループは 0 終了値は A ■B>=2^53 ■A<=-2^53-3 ループは 無限 終了値なし ■A<=B ループは FLOOR(B-A+1) 終了値は FLOOR(B-A+1)+A AとB=2^53+6 だとループ1回ループだが AとB=2^53+5 だとループ無限ループに…