Use `add()` and `mul()`
Implement `isqrt()`
Remove unused include and import
Implement `iabs()`