Aus den Extensionen könnte ich nie herauskriegen, ob die verschiedenen reellen Zahlen nicht blos um einen rationalen Betrag von einander verschieden sind.