[kragen]

That "density" is how Euclid defined the irrational real numbers in terms of the rationals; his definition, cast into modern language by Dedekind, is what we normally use today.