Bien qu'ayant été prévenu plusieurs fois vous continuez à faire la confusion entre un nombre et son écriture.
Vous parlez de l'ensemble des nombres codables sur un ordinateur (qu'on les écrive en binaire ou en n'importe quoi, cela n'a aucune importance, et bien sûr, les réels, bien que codés avec des 0 et des 1, ne sont pas codés en binaire), ensemble, par nature fini, et dont les propriétés dépendent du codage (donc pas grand chose à en dire dans le cas général).
A tout hasard, pour les langages qui traitent un certain code comme l'infini, je suppose que l'on doit avoir des choses comme (a + 10) - 10 = INF, même si a n'est pas infini
-----