C#で部分範囲型を作りかけてるけど、もしちゃんと標準の数値型と混ぜて使えるようなガチなのを作ろうとすると、この記事にあるインタフェース全部実装しないといけない?><;
[C#] INumber<T>の実装総覧 (分数型の実装例付き) #.NET - Qiita
https://qiita.com/YuHima03/items/20b59013d42d294b9839#checked%E3%82%B9%E3%83%86%E3%83%BC%E3%83%88%E3%83%A1%E3%83%B3%E3%83%88%E3%81%AB%E3%81%A4%E3%81%84%E3%81%A6
オレンジが思いついた未チェック型とチェック済型で分ける事で無理やりSPARK/Adaスタイルにしようとする方式ではインクリメントを実装できない(そもそもAdaにはインクリメントが無い(危険だから))という事に気づいて、
GPT-5.2に「ラップアラウンドにするという妥協をするしかない?><;」って聞いたら「絶対にインクリメントを実装するな! あなたが作ろうとしてるものが台無しになる!」に限りなく近い説得をされた><;