有理数を実装すればいかなる整数m, n に対しても m / n * n がきちんと m に戻る
（decimal型でも普通無理）
同じようなことを無理数でやる方法がわからんって話よ

無理数が厳密に数値化できないなんて誰でも知ってる話はせんわ