La bibliothèque Zarith implémente des opérations arithmétiques et logiques sur des entiers de précision arbitraire. Elle utilise la bibliothèque GMP pour les calculs sur les grands entiers et représente les petits entiers sous forme d'entiers Caml non boxés pour économiser de l'espace et améliorer les performances.