Sans machine, dire si 0.25 + 0.5 == 0.75 est vrai

C'est vrai, et l'on peut l'affirmer sans machine. Les trois nombres $0,25$, $0,5$ et $0,75$ ont un développement binaire fini : ${\overline{0,01}}^2$, ${\overline{0,1}}^2$, ${\overline{0,11}}^2$. Leurs dénominateurs réduits sont $4$, $2$ et $4$, des puissances de deux. Chacun est donc stocké exactement, et leur somme, qui tient elle aussi sur deux bits de mantisse, est exacte. Aucun arrondi n'intervient nulle part : l'égalité est vraie.

>>> 0.25 + 0.5 == 0.75
True

Piège : en conclure qu'on peut comparer des flottants avec == « quand les nombres sont simples ». La règle du cours reste : on ne teste pas l'égalité de flottants calculés. Ici l'exactitude se démontre — dans un programme réel, elle ne se démontre presque jamais.