kc3-lang/libtommath

2019-10-29T21:27:01

Merge pull request #435 from libtom/simple-simplifications first batch of simplifications