Méthode de calcul multiprécision délaissée parce que:
Pour les prédicats, seules les comparaisons posent un problème.