18/01/27 12:23:14.67 x9sgfrz+.net
(v-1ULP) <= X < v となるvを選びたいということかね？
その方法は知らんが、常に (v-1ULP) <= X < v か (v-1ULP) < X <= v のどちらかなわけだから
別に問題ないんでは？X≒vを上に組み入れるか下に組み入れるか決めりゃいいだけで。
18/01/27 12:23:14.67 x9sgfrz+.net
(v-1ULP) <= X < v となるvを選びたいということかね？
その方法は知らんが、常に (v-1ULP) <= X < v か (v-1ULP) < X <= v のどちらかなわけだから
別に問題ないんでは？X≒vを上に組み入れるか下に組み入れるか決めりゃいいだけで。