In article <firstname.lastname@example.org>, WM <email@example.com> wrote:
> On 28 Jan., 23:46, Virgil <vir...@ligriv.com> wrote: > > > Then you still claim that the decimal form for 7/9 has a last digit? > > > > Note that for every real mathematician, 7/9 will have a decimal form. > > That may be. If you divide reals numbers and believe in the actually > infinite, then you may have to leave the domain of terminating > decimals.
Real numbers were never limited to the "domain of terminating decimals" to start with, so why anyone dealing with the reals need limit oneself so artificially is a puzzlement.