create `FullMathLib` to support optimized arithmetic that prevents ghost/intermediate overflow
create
FullMathLibto support optimized arithmetic that prevents ghost/intermediate overflow