ts-toolbeltすごいと思うんだけど、Add<N1, N2>とか型で計算できてなにが嬉しいの？
https://millsp.github.io/ts-toolbelt/modules/number_add.html