On 30 Jan., 01:37, Virgil <vir...@ligriv.com> wrote: > In article > <b869a778-e5c9-4afe-86cb-52a3c42e4...@h2g2000yqa.googlegroups.com>, > > WM <mueck...@rz.fh-augsburg.de> 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.