> eg Is there a formal proof that says integers strictly follow that same rules as the continuous domain, just as a subset? I'm interested. It may have come as

> eg Is there a formal proof that says integers strictly follow that same rules as the continuous domain, just as a subset? I'm interested. It may have come as a surprise to a programmer, but in the domain of math, the integers are indeed a subset of a real numbers.