* implement Add, Sub, CheckedAdd, CheckedSub, SaturatingAdd, SaturatingSub for Perthings

* ifx inner >= max bug

* move arithmetic impl to main macro block

* implement CheckedMul for Perthings

* incorporate feedback

Co-authored-by: Shawn Tabrizi <shawntabrizi@gmail.com>