Add documentation
F2M -> F2m
Add more INLINABLE/INLINE pragmas
Use `integer-gmp` only when available
Microoptimization