L'arithmétique saturée opère dans un domaine de valeurs limité par deux bornes, disons m et M. Une opération en arithmétique saturée fournit des résultats tels que : si le calcul donne un nombre inférieur au plus petit nombre représentable m, alors m est produit ; si le calcul donne un nombre supérieur au plus grand nombre représentable M, alors M est produit. Wikipedia