つまり、計算するたびに値が justBelowOneであるかをチェックして、 justBelowOneであれば1.0にするって処理を挟んだ数値型を作れば、まるで実数空間のように
0.99999...... = 1.0
な数値型が作れる？＞＜；