Le trou à $2^{53}$

Le format flottant de double précision utilise 52 bits de mantisse fractionnaire. Il permet de coder de façon exacte tous les entiers consécutifs jusqu'à $2^{53}$. Au-delà de cette valeur, l'espacement minimal entre deux flottants consécutifs passe à $2$. Le nombre impair $2^{53}+1$ ne peut donc pas être représenté et est arrondi par défaut à la valeur paire représentable la plus proche, soit $2^{53}$. La comparaison de leurs flottants renvoie donc True.