Stav dette: The real numbers