Flanker (./3218) :
quand l'arithmétique prouvée va-t-elle se généraliser dans les logiciels ?

voyons, l'arithmétique prouvée ne servirait à rien dans un logiciel utilisé par des millions de gens ou d'entreprises pour gérer leurs finances
(cela dit d'après les commentaires le bug est un problème d'affichage, pas un pb de calcul, donc c'est pas aussi grave que ça en a l'air même si c'est assez ridicule )