La semisomma di due numeri (diversi) è sempre compresa strettamente tra essi.  Questa proprietà vale anche per i numeri e le operazioni di una calcolatrice?

I numeri di una calcolatrice ("numeri-macchina") sono in quantità finita in quanto sono sequenze finite di simboli formati con un insieme finito di simboli.
Quindi ogni numero-macchina ha per forza il suo numero-macchina immediatamente successivo, e tra essi non può esistere altro numero. Ad esempio se la calcolatrice opera ad 8 cifre, per essa tra 12345678 e 12345679 non possono esservi altri numeri (12345678.1, 12345678.2, … avrebbero più di 8 cifre).
In particolare, preso un numero macchina e quello immediatamente successivo, la loro semisomma non può stare tra essi.
Proviamo a vedere che cosa viene nel caso di 12345678 e 12345679: la somma è 24691357, che diviso due fa 12345678.5, che per la calcolatrice diventa 12345679.