I just published the first revision of a arbitrary base conversion math library. I thought it would be interesting to add mathematical proof-styled comments to

I just published the first revision of a arbitrary base conversion math library. I thought it would be interesting to add mathematical proof-styled comments to bridge the gap between formal mathematical notation and its technical implementation. Although the comments are not proofs (mainly definitions), I am planing for tests to be commented with mathematical proofs. If you enjoy this library, consider contributing by opening an issue, pull request, or comment.