Initial Release
The first release of the integer-library.
- Thanks to Cetus team for the Initial work.
- This library improves implementations, adds additions, and formally verifies them to be correct.
- Thanks to Asymptotic for their working formally verifying all operations involved