Refactor FTZipper traversal
Removed gmp dependency