> nobody explicitly specifies "result of an addition of natural numbers should match ..." Yes they do. In most programming languages, by default integer arithm

> nobody explicitly specifies "result of an addition of natural numbers should match ..." Yes they do. In most programming languages, by default integer arithmetic is modulo 2^64 (at best). If you want arbitrary precision arithmetic, you have to explicitly specify that.