条件は上の条件式ほど優先して ■A、Bにnanが含まれるなら ループ回数は0 終了値はA ■B==infの時 ■ABに2^53以上が含まれる かつ A<=Bの時 ■A==-infの時 ループ回数は無限 終了値なし ■A<=Bの時 ループ実行回数はFLOOR(B-A+1) 終了値はFLOOR(B-A+1) +A ■A>Bの時 ループ実行回数は0 終了値はA