用 TS 类型系统实现大数加法