これは単にnullableなら未チェック、non-nullableなら範囲チェック済で安全って方式だけど、Roslynソースジェネレータを使ってnullable用の型とnon-nullable用の型で自動で名前をわけたら、もうちょっと見やすくなりそう＞＜

動作はあってるけどメッセージの内容がバグってるね＞＜；
（引き算してるのにメッセージが足し算のコピペのままだね＞＜；）