zéro positif
Définition
Nombre propre aux représentations en virgule flottante, désignant une valeur trop proche de zéro pour la précision utilisée pour être représenté, mais dont le signe positif est connu. Il est équivalent à zéro pour les opérations additives, n'est pas utilisable comme diviseur, mais permet de conserver l'information de signe associée au nombre correspondant.
Il existe de même un zéro négatif, avec les propriétés complémentaires. Voir 754, infini positif, NaN, virgule flottante.
