2017-08-30 2016年に出していたPRがひととおり解決した 朝起きたら 2016 年に出していた Integer Unification の PR がマージされていた。これで自分が Integer Unification に関して出していた PR はひととおり解決したことになる。 github.com