Density of the rational numbers (source code)

= Density of the rational numbers

Between any two distinct real numbers lies a <rational number>.