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 ,
? GAPPA : génération automatique de preuves de propriétés arithmétiques ,
? Elementary Functions : Algorithms and Implementation, ? Birkhäuser, pp.2-2, 2006. ,