This is an old revision of the document!

---

Real numbers

Definition

Ramifications

Context

Requirements

Generalizations

Computation

Elaboration

Reference