Die Dezimalentwicklung ist dann eine Methode des Vergleichs mit den Rationalzahlen, wenn es von vornherein bestimmt ist, wieviele Stellen ich entwickeln muß, um eine Entscheidung herbeizuführen.