=. On, ?. , and *. ||-?-=-0, 0001070344 soit 13.18 bits de précision. Ceci signifie que, quelque soit la précision des coefficients utilisés pour représenter p * et celle utilisée pour sonévaluationson´sonévaluation, on ne pourra pas avoir un opérateur avec une précision meilleure que 13

. Melquiond, ? GAPPA : génération automatique de preuves de propriétés arithmétiques

. Muller, ? Elementary Functions : Algorithms and Implementation, ? Birkhäuser, pp.2-2, 2006.