)/(1/10))A priori 1+ceil((8/10-1/10 fonctionne correctement, donc c'est bien un classique problème de valeur approchée de nombre binaires en virgule flottante.
Utiliser la virgule flottante avec un logiciel de calcul formel, ça me parait quand même antinomique.